manager/fetch

   1 #!/bin/bash
   2 function ssh_target {
   3     ssh -i vm-key "$to" "$@"
   4 }
   5 target=$1
   6 target=${target%/}
   7 source "$target/config"
   8
   9 echo "To: $to"
  10 echo "Agent: $SSH_AGENT_PID"
  11 oldpid=$SSH_AGENT_PID
  12 if [[ $oldpid == "" ]]; then
  13     eval $(ssh-agent)
  14     ssh-add vm-key
  15 fi
  16 command=$(basename -- "$0")
  17 echo "Action: $command"
  18 if [[ $command == "push" ]]; then
  19     git push -f "$to:" "HEAD:refs/remotes/manager/master"
  20 else
  21     git fetch "$to:" "+HEAD:refs/remotes/$target/master"
  22 fi
  23 if [[ $oldpid == "" ]]; then
  24     eval $(ssh-agent -k)
  25 fi
  26