Small tool that listens for incoming http pings and translates them into a push based git mirror
Primary LanguagePython