web commit by UlrikSverdrup: How to migrate from svn to git in my _simple_ case