diff options
author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-08 20:11:43 -0300 |
---|---|---|
committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-08 20:11:43 -0300 |
commit | 791d3e1553d0a8b4103bb499fce26688b8cf217a (patch) | |
tree | 9e3b7d7366a9f160b39bec4bb236d9c4c001508e /git-shell-commands/mirror | |
parent | c562e291c0adca7cb7dd2e1ce5ac26e1cd405603 (diff) |
Retrieve help
Diffstat (limited to 'git-shell-commands/mirror')
-rwxr-xr-x | git-shell-commands/mirror | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/git-shell-commands/mirror b/git-shell-commands/mirror index 6a2c254..c634b9e 100755 --- a/git-shell-commands/mirror +++ b/git-shell-commands/mirror @@ -1,6 +1,7 @@ #!/bin/sh -# Mirrors a repository -# ssh git@host mirror git://url/repo.git +# * mirror +# Mirrors a repository +# ssh git@host mirror git://url/repo.git set -E |