ExtensionDistributor seems to only look through svn branches, svn trunk and maybe (heard of it, but not seen in reality yet) git master.
However now that 1.19 is out and 1.20 in full development, site admins are having troubles finding a REL1_19 version of their favorite extensions.
We would need:
- Add support in ExtensionDistributor for downloading git branches (after selecting an extension, it would query (whether or not cached) a lit of available branches and after choice, package it up and send it
- A policy on branching because extensions are now in their own repositories, so core branches no longer branch extensions automatically
- Whenever we branch core, run a script that branches all extensions as well. + Always complete
- Extension author may know know about it and thus branching might occur at a wrong point. Of course this can be easily fixed, but still a burden.
- We only branch core as we did for 1.19/1.20 and in addition, notify extension developers that they should branch their extension.
- Not complete + But branches are chosen for and more stable
- Whenever we branch core, run a script that branches all extensions as well. + Always complete
So overal the choice is, do we want to offer choices for each release no matter what (and risk it being a bad branch point), or let extension maintainers do it themselves, but thus many extensions won't have available branches for a certain MediaWiki version.
Whatever we do, we should do it soon because 1.19.0 is already released and ExtensionDistributor has no 1.19 package.
e.g.: https://www.mediawiki.org/wiki/Special:ExtensionDistributor/Cite
Version: wmf-deployment
Severity: normal