useful_stuff.get_all()
I hope you find this useful!
Thursday, March 3, 2016
Deleting git tags
Delete tag locally
git tag -d tagName
Delete tag on remote
git push --delete origin tagName
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment