Re: [Wikitech-l] ExtensionDistributor updates on mediawiki.org

Hi, 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. There will be a few differences, namely that tarballs are only generated every hour, instead of on the fly like Github did. These tarballs will include submodules inside tarballs for extensions like VisualEditor (bug 44022[3]). If you notice any issues or have any ideas for enhancements, please file a bug in Bugzilla[4]. Additionally, I'd like to thank ^demon and YuviPanda for their help in putting this service together. -- Legoktm [1] https://gerrit.wikimedia.org/r/#/c/149474/ [2] https://extdist.wmflabs.org/dist/ [3] https://bugzilla.wikimedia.org/show_bug.cgi?id=44022 [4] https://bugzilla.wikimedia.org/enter_bug.cgi?product=MediaWiki%20extensions…