Helper scripts to ease the migration of Subversion repositories to Git