Quickies

[categories] [index] [all (527)] [latest]

Git
  1. Works with GitHub:

    $ git pull
    $ git tag -d THE_TAG
    $ git push origin :refs/tags/THE_TAG
    $ git tag THE_TAG
    $ git push origin THE_TAG
    

    Source: http://www.nax.cz/2011/01/15/move-a-remote-git-tag/