On 27/04/12 22:12, Chad wrote: > On Fri, Apr 27, 2012 at 4:08 PM, Thomas Gries <[email protected]> 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. _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
