A Github webhook receiver written in PHP