eg: these pages https://www.mediawiki.org/wiki/MediaWiki_1.23/wmf17
See: https://git.wikimedia.org/tree/mediawiki%2Ftools%2Frelease.git/HEAD/make-deploy-notes
Version: wmf-deployment
Severity: normal
eg: these pages https://www.mediawiki.org/wiki/MediaWiki_1.23/wmf17
See: https://git.wikimedia.org/tree/mediawiki%2Ftools%2Frelease.git/HEAD/make-deploy-notes
Version: wmf-deployment
Severity: normal
If we do not need to edit them, we could use a Jenkins job to generate the note as some HTML page and publish them under https://doc.wikimedia.org/ . That will save us from having to keep some production wiki account credentials on the Jenkins boxes.
They actually do get updated to show the cherry-picks that have been added as the branch was deployed in production.
We can get the Jenkins job to act when a patch is cherry-picked and merged. That moves the tip of the branch which causes Gerrit to emit a ref-update event which Zuul can act on (i.e. trigger a job).
That has been done at some point. https://www.mediawiki.org/wiki/MediaWiki_1.37/wmf.15/Changelog got pushed automagically by https://www.mediawiki.org/wiki/User:ReleaseNotesBot
It has been posting them automatically for a while https://www.mediawiki.org/wiki/Special:Contributions/ReleaseNotesBot