Small git pre/post-receive hooks written in Bash that auto-deploy any server