> I've reported the exact same problem on 18.04.08 under the subject: "git svn > should refuse to checkin .svn directories" Sorry about that - I did search the archives before having this posted, but that didn't come up with anything (the search functionality is quite limited though). >> [...] Add this as the >> pre-commit hook in .git/hooks (make sure to make it executable). Not a bad idea - but this still requires manual intervention (and thus awareness), which doesn't solve the potential destructiveness of this issue. > The Git website seems to be currently down, but one of us should search, if > there is a Bugtracker for GIT and then open an issue for this. The website is up again. However, there doesn't seem to be a dedicated bug tracking tool. -- F. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html