Guest User

Untitled

a guest
Jan 16th, 2018
83
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.15 KB | None | 0 0
  1. # To delete remote tags (before deleting local tags)
  2. git tag -l | xargs -n 1 git push --delete origin
  3.  
  4. # Delete the local copies
  5. git tag | xargs git tag -d
Add Comment
Please, Sign In to add comment