This is a simple web hook for GitHub repositories which keeps a local repository in sync with GitHub.