diff options
author | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2012-05-09 18:16:03 +0100 |
---|---|---|
committer | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2012-05-09 18:16:03 +0100 |
commit | 8a02512e83750f6f057b0e0bb21d4d54ee619c10 (patch) | |
tree | 84ee02e5bd1fd00e39f1b375aa9f81456595adf8 /morph | |
parent | 5b8c9e5ce0ffd6dec032c3637069b9dbc91e718f (diff) | |
download | morph-8a02512e83750f6f057b0e0bb21d4d54ee619c10.tar.gz |
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).
Diffstat (limited to 'morph')
-rwxr-xr-x | morph | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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(), |