Legoktm wrote:
Tomorrow a major update[1] will be deployed for the ExtensionDistributor extension on mediawiki.org. We will start fetching branch information directly from Gerrit instead of relying on Github. Additionally, tarballs will be served from extdist.wmflabs.org[2] instead of using Github.
[...]
[1] https://gerrit.wikimedia.org/r/#/c/149474/ [2] https://extdist.wmflabs.org/dist/
Neat! The approach taken at https://gerrit.wikimedia.org/r/149474 looks to be easily adaptable to a future switch to Phabricator. Nicely done. :-)
I do wonder a little why extdist.wmflabs.org was chosen over (for example) https://releases.wikimedia.org/, though this is really a minor point.
MZMcBride