PHP script which receives a notification from GitHub when a push to master happened and pulls the repository.