Converting Subversion tags to Git tags