On Tue, 8 Aug 2023 at 08:02, Derk-Jan Hartman <d.j.hartman+wmf_ml@gmail.com> wrote:
I note that we have not yet updated https://www.mediawiki.org/wiki/MediaWiki_1.40

This is something that James Forrester tended to do, but I'm not sure if that still falls under their responsibilities. It's also something that is noticeable missing from the checklist: https://www.mediawiki.org/wiki/Release_checklist 

The automated version announcement was updated in this edit by Reedy; the wikitext page was updated in this edit by Amousey.

If you mean that the page lacks an on-wiki fork of the release notes, I've never much done work on that side of the release process, leaving it to volunteers who think it's valuable. Personally, I think that writing those has always been a big time sink without a huge amount of value, and more likely to confuse than help; that's why they're not part of the release checklist.

More broadly, I'm hoping to transition the work I do mostly as a volunteer around MediaWiki releases to colleagues, who might want to take the opportunity to think about what's the best way of documenting these.

J.
--
James D. Forrester (he/him or they/themself)