Commit 2343a373 authored by Cyril Brulebois's avatar Cyril Brulebois

Add mr alias "git2ssh" to update remotes.

parent e8701501
...@@ -12,6 +12,10 @@ checkout = ...@@ -12,6 +12,10 @@ checkout =
update = update =
git fetch "$@" git fetch "$@"
# Make it easy to switch from git:// to ssh:// so that one can push:
git2ssh =
sed -i 's,git://git.debian.org,ssh://git.debian.org,' $MR_REPO/.git/config
[app/compiz.git] [app/compiz.git]
[app/grandr.git] [app/grandr.git]
......
...@@ -40,3 +40,16 @@ to ~/.mrconfig: ...@@ -40,3 +40,16 @@ to ~/.mrconfig:
It's now sufficient to call "mr up" in any directory in the ~/debian-x It's now sufficient to call "mr up" in any directory in the ~/debian-x
directory to update all repositories the former contains. directory to update all repositories the former contains.
## But I want to commit!
By default all repositories are cloned anonymously through the git protocol.
To be able to push, you can just perform an s,git://,ssh://, substitution in
the appropriate .git/config file. An alias is available in our mrconfig file:
mr git2ssh
It should only fail on the top-level directory (in our case: ~/debian-x) for
which the alias is not defined (in ~/.mrconfig), but since that should only be
one-shot, that's probably not a big deal.
...@@ -12,4 +12,8 @@ checkout = ...@@ -12,4 +12,8 @@ checkout =
update = update =
git fetch "$@" git fetch "$@"
# Make it easy to switch from git:// to ssh:// so that one can push:
git2ssh =
sed -i 's,git://git.debian.org,ssh://git.debian.org,' $MR_REPO/.git/config
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment