berndhahnebach/github-pull-request-mirror

A Github web hook handler used for mirroring branches of pull requests locally.