A flask app that listen to Github post-receive hooks and keeps a local bare repo updated