A simple PHP script to work with Git post-receive hooks