A simple git extension for easily managing repos hosted on Dropbox