Reputation: 503
is there any solution to correct an already pushed tag-name? I pushed a tag-name with a faulty version-number. It's not terrible problematic, but if there was a way to correct the tag-name, I'd be thankful if you could tell me more. :)
Thanks a lot for any hint!
Upvotes: 2
Views: 76
Reputation: 97282
hg tag --remove NAME ...
hg tag NEWNAME ...
hg push
or just edit .hgtags (versioned file, which holds all tags definitions), commit and push^ retagging does not rewrite history or alter any changeset
Upvotes: 2