merged a patch for integration/docroot: https://gerrit.wikimedia.org/r/507873/
Postmerge comment reads, "WARN: https://doc.wikimedia.org/ need manual update: ssh doc1001.eqiad.wmnet git -C /srv/docroot pull in 0s"
thcipriani@doc1001:/srv/docroot$ git fetch remote: Counting objects: 94, done remote: Finding sources: 100% (63/63) remote: Getting sizes: 100% (14/14) remote: Total 63 (delta 38), reused 63 (delta 38) Unpacking objects: 100% (63/63), done. From https://gerrit.wikimedia.org/r/integration/docroot d85e4f7..eef8ca4 master -> origin/master thcipriani@doc1001:/srv/docroot$ git rebase First, rewinding head to replay your work on top of it... error: unable to unlink old 'org/wikimedia/doc/default.html': Permission denied Fast-forwarded master to refs/remotes/origin/master.
It seems like I should have permissions to edit that file:
thcipriani@doc1001:/srv/docroot$ ls -lhA org/wikimedia/doc/default.html -rw-rw-r-- 1 krinkle wikidev 5.1K May 7 22:36 org/wikimedia/doc/default.html thcipriani@doc1001:/srv/docroot$ groups wikidev contint-admins