PHP script for handling Github PUSH event notifications - send custom email and synchronise local mirror