K 10 svn:author V 3 uqs K 8 svn:date V 27 2019-09-22T12:33:18.837620Z K 7 svn:log V 221 Fix svn2git on large repos by extending the timeout that we wait for fast-import from 30s to 1h. Also don't use the ports version, as it doesn't have the project branch merge hack. While here clean up some legacy names. END