git-dumper (pypi): A tool to dump a git repository from a website
Keywords: dump|git|repository|security|vulnerability|ctf|web