A small tool to automatically dump .git repositories