Download a specific tag with Git

$ git clone will give you the whole repository. After the clone, you can list the tags with $ git tag -l and then checkout a specific tag: $ git checkout tags/<tag_name> Even better, checkout and create a branch (otherwise you will be on a branch named after the revision number of tag): $ git … Read more

How to delete a remote tag?

You can push an ’empty’ reference to the remote tag name: git push origin :tagname Or, more expressively, use the –delete option (or -d if your git version is older than 1.8.0): git push –delete origin tagname Note that git has tag namespace and branch namespace so you may use the same name for a … Read more