From 8a02512e83750f6f057b0e0bb21d4d54ee619c10 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Wed, 9 May 2012 18:16:03 +0100 Subject: Add a "gnome:" repo alias The push url does not specify a username. ssh will default to the local username. That can be overridden by the user's $HOME/.ssh/config file (or they can manually change the push url in their branch's .git/config). --- morph | 3 +++ 1 file changed, 3 insertions(+) (limited to 'morph') diff --git a/morph b/morph index ecb6bf03..55e9224a 100755 --- a/morph +++ b/morph @@ -37,6 +37,9 @@ defaults = { 'baserock=' 'git://gitorious.org/baserock/%s#' 'git@gitorious.org:baserock/%s.git', + 'gnome=' + 'git://git.gnome.org/%s#' + 'ssh://git.gnome.org/git/%s', ], 'cachedir': os.path.expanduser('~/.cache/morph'), 'max-jobs': morphlib.util.make_concurrency(), -- cgit v1.2.1