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).

1 files changed, 3 insertions, 0 deletions

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(),