On Tue, May 14, 2013 at 1:57 AM, Moriel Schottlender moriel@gmail.comwrote:
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 | tylerromeo@gmail.com