Deploying a website using the WebDAV protocol

Now that my website is hosted by Autistici/Inventati, I can no longer deploy it by just pushing my git repository's changes to GitLab, as I used to. In order to deploy my website, I need to access the …