« Minimal Replication »

Home Tags About

rename-tag

Published at 2024-04-20
Last update over 365 days ago Licensed under CC BY-NC-SA 4.0 softwares-and-toolsgittag

ref: https://stackoverflow.com/questions/1028649/how-do-you-rename-a-git-tag

git tag new old           # Create a new local tag named `new` from tag `old`.
git tag -d old            # Delete local tag `old`.
git push origin new :old  # Push `new` to your remote named "origin", and delete
                          #     tag `old` on origin (by pushing an empty tag
                          #     name to it).

for co-workers

git fetch --prune --prune-tags

« Minimal Replication »

Powered by Astro