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 |