A simple command to save your days :)
TLDR;
# delete remotely
$ git push --delete origin tagName
# delete tag in your local
$ git tag -d tagName
My daily life is working with Git, in my case Github. Both in my works, and also in my spare time(doing a side project with open-source). Currently, I maintain 2 of my open source projects, they are:
- faker (https://github.com/bxcodec/faker)
- gotcha(https://github.com/bxcodec/gotcha)
There is a time that I made countless mistakes when releasing a new feature of my projects both in my current job and in my side project. Just like just a few minutes ago before I write this story.
It happens when I want to release one of my open-source projects faker. When releasing it, I accidentally hit my enter keyboard, but I’m not finished yet to specify the version. And that causes the Github to create a new tag there and ruin the order of the semantic versioning from the previous version.
So to fix this, since in the Github we can’t change the tag-name, it’s either to delete it and create one, or just let it be like that. And that’s how I learn a thing about this git tag deletion.
With just a simple command, I can delete a tag remotely and locally.
# delete remotely
$ git push --delete origin tagName
#delete tag in your local
$ git tag -d tagName
But, we also can do this in the Github itself, *TBH, I just figured this, and I think it’s a new feature in Github that I just realized. Since a year ago, I can’t delete a tag in Github, except using my terminal command.
Here’s how to delete a tag with the Github web interfaces.
Just it. Hopefully, it can help others :)
https://medium.com/media/81d478571152ec502750529a22011bf8/href
Top comments (0)