Skip to content

Instantly share code, notes, and snippets.

@julzmon
Created May 26, 2017 18:02
Show Gist options
  • Save julzmon/215151d5b5fac616bb371571e42a7532 to your computer and use it in GitHub Desktop.
Save julzmon/215151d5b5fac616bb371571e42a7532 to your computer and use it in GitHub Desktop.
// remove remote tag
$ git push —delete origin 0.3.0
// using a local branch, push up new tag
$ git push origin tag0.3.0:refs/tags/0.3.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment