use dotfiles/bin/mirror_to_github.sh for post-receive