A script to hook a push to github from another repo being pushed to

github.sh

#!/bin/bash
# Author: Jonathan Harker <jesusaur@cat.pdx.edu>

REPO=GitHubUser/GitHubRepo.git
KEY="/full/path/to/github.key"

case "$1" in

# Use case 1:
# Call 'github.sh all' in post-receive hook
"all")
  echo "Mirroring to github.com"
  export GIT_SSH="$0"
  git push --mirror git@github.com:$REPO
;;

# Use case 2:
# Call 'github.sh push' in update hook
"push")
  echo "Mirroring branch to github"
  export GIT_SSH="$0"
  git push git@github.com:$REPO $2
;;

# Recursive call to ourselves
*)
  exec ssh -i $KEY -o "StrictHostKeyChecking no" "$@"
;;

esac

exit 0

post-receive

#!/bin/sh
# Author: Jonathan Harker <jesusaur@cat.pdx.edu>

# push all changes, making new branches and deleting non-existent branches
/full/path/to/github.sh all

update

#!/bin/sh
# Author: Jonathan Harker <jesusaur@cat.pdx.edu>

# Push to github
/full/path/to/github.sh push $@