Migrating old Subversion repositories to Github