diff options
| author | Ralf Jung <post@ralfj.de> | 2015-02-24 22:05:52 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2015-02-24 22:05:52 +0100 |
| commit | d1fcac9c35289f6fac7ad302d41dba33467ceb9d (patch) | |
| tree | 7aadda1740adcfa9fa478db9f5e2064263aa207d /ssh-set-ident.sh | |
| parent | 1a695451f3a3261b0d73884b372f579a594b8313 (diff) | |
make sure the post-receive hooks are run when pushes come in from external repositories
Diffstat (limited to 'ssh-set-ident.sh')
| -rwxr-xr-x | ssh-set-ident.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ssh-set-ident.sh b/ssh-set-ident.sh index 58ba45e..ad7a61d 100755 --- a/ssh-set-ident.sh +++ b/ssh-set-ident.sh @@ -25,4 +25,4 @@ # This sets the SSH identitiy based on an environment variable. That makes it possible for the git-mirror # scripts to use git with a particular SSH identity. -exec ssh -i "$SSH_IDENT" "$@" +exec ssh -i "$GIT_MIRROR_SSH_IDENT" "$@" |