On 27/04/12 22:12, Chad wrote:
On Fri, Apr 27, 2012 at 4:08 PM, Thomas Gries mail@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.