On Fri, Apr 27, 2012 at 4:08 PM, Thomas Gries <mail(a)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