A script to convert svn repositories to git ones