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