Looking at ways to do push-deployment of PHP from GitHub.