On Fri, Jul 19, 2013 at 2:44 PM, Tyler Romeo <[email protected]> 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://
[email protected]:29418/mediawiki/..." remote for gerrit and
stuff.
  --scott

-- 
(http://cscott.net)
_______________________________________________
Wikitech-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikitech-l

Reply via email to