Hi Patrick - sorry, I don't know enough about git to do this. Unless it's just a matter of rm -rf on the git repository directory.
If no one responds here within a day or two, I can only suggest submitting a tracker request at https://savannah.gnu.org/support/?func=additem&group=administration, so at least it won't be forgotten. Best, karl
