A simple PHP GitHub hook listener and server to trigger pulls and makes