Quickies

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

Git
  1. git tag -d TAG_NAME
    delete remote tag 'TAG_NAME'
    git push origin :refs/tags/TAG_NAME
    

    or

    git push --delete origin TAG_NAME
    git tag -d TAG_NAME