Small php script to deploy changes on a github post-receive hook. Currently non-functioning.