|integration/docroot : master||Add link to Design Style Guide at doc homepage|
Re-opening, because the patch is not yet deployed. Which I was unable to do due to a permissions issue on the /srv/docroot issue (some files are owned by hashar instead of doc-uploader).
The files should all belong to the group wikidev and /srv/docroot has the set group id flag. The git repository has core.sharedRepository = 1 to have git to ensure files are group-writable.
Eventually it was dirty, from git status:
On branch master Your branch is behind 'origin/master' by 3 commits, and can be fast-forwarded. (use "git pull" to update your local branch) Changes to be committed: (use "git reset HEAD <file>..." to unstage) modified: org/wikimedia/doc/default.html Changes not staged for commit: (use "git add <file>..." to update what will be committed) (use "git checkout -- <file>..." to discard changes in working directory) modified: .eslintrc.json modified: org/wikimedia/doc/default.html modified: package-lock.json modified: zuul-status/public_html/jquery.zuul.js
And lagging behind:
564e04d (origin/master, origin/HEAD) Add link to Design Style Guide at doc homepage 044b4c8 build: Updating eslint-utils to 1.4.2 35e5eb7 zuul: When filtering, hide pipelines without matching changes a9214e6 (HEAD -> master) doc: add link to Homer documentation
I have git reset to origin/master but that fails:
error: unable to unlink old 'org/wikimedia/doc/default.html': Permission denied fatal: Could not reset index file to revision 'origin/master'.
The directory org/wikimedia/doc belongs to doc-uploader:wikidev but lack the group writable bit :-\ Hence git is unable to replace the default.html file.
It is an aftermath of the migration to the new host (T137890). And eventually I found an old puppet patch that hints at lack of write permissions: https://gerrit.wikimedia.org/r/#/c/operations/puppet/+/484308/
I have set the group writable bit:
sudo -u doc-uploader chmod g+w /srv/docroot/org/wikimedia/doc
And I have reset the repository to origin/master . The design link now shows up on https://doc.wikimedia.org/
The issue we had should be addressed by:
- https://gerrit.wikimedia.org/r/#/c/operations/puppet/+/484304 rsync: readd incoming and outgoing chmod
- https://gerrit.wikimedia.org/r/#/c/operations/puppet/+/484308 doc: make published files group writable