svn: be more tolerant of other git-svn repos