github-repo-mirror A flask app that listen to Github post-receive hooks and keeps a local bare repo updated This software just works with Python >= 3.3