On Fri, Apr 27, 2012 at 4:08 PM, Thomas Gries mail@tgries.de wrote:
Am 27.04.2012 20:01, schrieb Chad:
Hi everyone,
I've migrated the 22 extensions that were on the queue today. I set permissions based on the requests--if anything needs adjusting, just let me know.
-Chad
Is there a simple way to get an overview, which extensions are "in git" ?
You could look at https://gerrit.wikimedia.org/mediawiki-extensions.txt or https://gerrit.wikimedia.org/r/#admin,projects
-Chad