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, s
Hello,
I'm the maintainer of the GNU Scientific Library (GSL) project. We
were using git a few years ago and then switched to bzr. We recently
took on a new developer who uses windows, and unfortunately has
difficulties with committing code using the windows bzr client.
Therefore we are con