post-receive hook script to mirror to github