Delete a remote tag via Git

These are three variants to do this:
  • git push origin :tag-name
  • git push --delete origin tag-name
  • git push origin :refs/tags/tag-name

  • The missing token before ":" states "nothing". So "pushing nothing to a specific tag reference overwrites & deletes a tag".


    Popular posts from this blog

    Tuning ext4 for performance with emphasis on SSD usage

    Java 8: Default Interface Implementations, The Diamond Problem, Multiple Inheritance, and Precedence

    Tuning ext3 for performance without losing its data integrity potential