doc.wikimedia.org did not deploy after merging change to doc root.
The change was at https://gerrit.wikimedia.org/r/#/c/integration/docroot/+/567878/ triggered a job https://integration.wikimedia.org/ci/job/integration-docroot-deploy/290/ that seemed to be green
Nothing seemed to update though so I ran the job again https://integration.wikimedia.org/ci/job/integration-docroot-deploy/291 still not update.
I dug up some docs, https://www.mediawiki.org/wiki/Continuous_integration/Documentation_generation#Updating_the_doc.wikimedia.org_site that also didnt work.
Looking on doc1001 it looks like some file permissions might be slightly wrong? I tried fixing them but couldn't
Thus ended up writing this ticket