Advertisement
Guest User

Untitled

a guest
Mar 24th, 2017
188
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.32 KB | None | 0 0
  1. # Delete all tags remotely
  2. git tag -l | xargs -n 1 git push --delete origin
  3. # Delete all tags locally
  4. git tag | xargs git tag -d
  5. # Delete all merged branches
  6. git fetch --prune; git branch -r --merged | grep origin | grep -v '>' | grep -v master | xargs -L1 | awk '{sub(/origin\//,"");print}' | xargs git push origin --delete
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement