A simple PHP script that uses GitHub WebHooks to deploy code to a remote server when a repository is pushed to.