I've not been able to successfully deploy changes here for several months. There is always some permission problem or another.
Latest version:
$ ssh doc1001.eqiad.wmnet git -C /srv/docroot pull From https://gerrit.wikimedia.org/r/integration/docroot 72d72d4..fb27369 master -> origin/master Updating 72d72d4..fb27369 warning: unable to unlink org/wikimedia/doc/favicon.php: Permission denied error: unable to create file org/wikimedia/doc/favicon.ico: Permission denied
As such the following changes are (partly) undeployed, and the git status is dirty on the server: