On Fri, Jul 19, 2013 at 2:44 PM, Tyler Romeo tylerromeo@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