Git: how to remove a wrong tag.
This post is nothing special, I know, but it’s a very useful reminder to me. Thus, if you need to delete a wrong tag on any remote before pushing it:
Then you can do whatever you want, adding more local commits and doing some work. Then, if you want to tag a new software version referencing to the most recent commit:
And then, push your local history:
That’s all! #gwh
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.