simple one-shot Windows script to migrate an SVN repo to Git, when formats do not match