This is one of the most useful things I've ever learned. Thanks! *-- * *Tyler Romeo* Stevens Institute of Technology, Class of 2016 Major in Computer Science www.whizkidztech.com | tylerromeo(a)gmail.com On Fri, Jul 19, 2013 at 1:40 PM, Ori Livneh <ori(a)wikimedia.org> wrote:

On Fri, Jul 19, 2013 at 2:44 PM, Tyler Romeo <tylerromeo(a)gmail.com> wrote: 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)

Le 19/07/13 19:40, Ori Livneh a écrit : Oh my god I should read the doc. Tip variant: [url "ssh://gerrit.wikimedia.org:29418/"] insteadOf = "wmf:" [url "ssh://review.openstack.org:29418/openstack-infra/"] insteadOf = "infra:" ... git clone wmf:operations/puppet git clone infra:zuul Adopted! Thank you Ori :-] ------[hijacking]------------------------------------------------------ Hijacking the thread, I wrote a basic python script that let you easily clone assuming you get all your clones under ~/project : cd ~/projects/mediawiki git gerritclone extensions/AbuseFilter # cloned under extensions/AbuseFilter cd ~/projects/ git gerritclone mediawiki/extensions/Scribunto # cloned under mediawiki/extensions/Scribunto Lame python is at: https://github.com/hashar/git-gerritclone -- Antoine "hashar" Musso