On Tue, May 14, 2013 at 1:57 AM, Moriel Schottlender <mor...@gmail.com>wrote:
> Are all (or most) extensions in Github under https://github.com/wikimedia/with > a "mediawiki-extensions-" prefix? Can I use that as a general rule of > thumb? > Yes. They're mirrored automatically. Also, you're probably thinking this already, but just in case, make sure not to remove Gerrit checking when you remove GitHub checking. Always good to have that as a backup on the chance we ever move away from GitHub. *-- * *Tyler Romeo* Stevens Institute of Technology, Class of 2015 Major in Computer Science www.whizkidztech.com | tylerro...@gmail.com _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l