A small tool to keep a local folder synchronized with a repository on GitHub