Commit 529389ae authored by Cyril Brulebois's avatar Cyril Brulebois

Stop mentioning git2ssh.

parent 912623f6
......@@ -45,15 +45,7 @@ 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.
See the `pushInsteadOf` trick on <>.
## I want to update that file!
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