A simple application/API to keep github repo in sync at another location