On Fri, Jul 19, 2013 at 2:44 PM, Tyler Romeo <tylerromeo(a)gmail.com> wrote:
This is one of the most useful things I've ever
learned. Thanks!
It's close, but the '-p' option to just-about-every-git-command still wins
the "most useful" prize. But close!
I'll suggest a little variant:
[url "https://gerrit.wikimedia.org/r/p/mediawiki/"]
insteadOf="mw:"
...lets you do:
$ git clone mw:core
$ git clone mw:extensions/Parsoid
etc
You should still do 'git review --setup' once you've cloned the extension
or whatever. That will set up the "ssh://
username@gerrit.wikimedia.org:29418/mediawiki/..." remote for gerrit and
stuff.
--scott
--
(
http://cscott.net)