A tool to dump a git repository from a website - View it on GitHub