3 targetHost=${targetHost%/}
5 source "$targetHost/config"
8 echo "Agent: $SSH_AGENT_PID"
10 if [[ $oldpid == "" ]]; then
14 command=$(basename -- "$0")
15 echo "Action: $command"
16 if [[ $command == "push" ]]; then
17 git push -f "$to:" "HEAD:refs/remotes/manager/master"
19 git fetch "$to:" "+HEAD:refs/remotes/$targetHost/master"
21 if [[ $oldpid == "" ]]; then