Date Tags git / tags


Tagging is useful because you can checkout a tag

git tag -a v1.2

Getting a particular tag

After the clone, you can list the tags with

git tag -l

and then checkout a specific tag:

git checkout tags/<tag_name>

Delete a remote tag

Just push an empty reference or make it explicit:

git push --delete origin tagname