On Fri, Apr 27, 2012 at 4:08 PM, Thomas Gries
<mail(a)tgries.de> wrote:
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
Note that rerunning clone-all will only clone the new ones, so it's safe
to do.