diff options
-rwxr-xr-x | git_ssh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | exec ssh -o "ControlPath $REPO_SSH_SOCK" "$@" | 2 | exec ssh -o "ControlMaster no" -o "ControlPath $REPO_SSH_SOCK" "$@" |
![]() |
index : tools/git-repo.git | |
Mirror of gerrit.googlesource.com/git-repo | N/A |
summaryrefslogtreecommitdiffstats |