Guest User

Untitled

a guest
Jul 19th, 2018
93
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.59 KB | None | 0 0
  1. # This has to be run from master
  2. echo "Checking out master branch..."
  3.  
  4. git checkout master
  5.  
  6. # Update our list of remotes
  7. echo "Pruning list of remotes..."
  8.  
  9. git fetch
  10. git remote prune origin
  11.  
  12. # Remove local fully merged branches
  13. echo "Checking for merged branches..."
  14.  
  15. for i in $( git for-each-ref refs/heads --format='%(refname:short)' --merged ); do
  16. if [ $i != master ]
  17. then
  18. echo $i has already been merged into another branch. Would you like to delete it?
  19. read -p "Delete branch (y/n)? "
  20. if [ "$REPLY" == "y" ]
  21. then
  22. git branch -d $i
  23. fi
  24. fi
  25. done
Add Comment
Please, Sign In to add comment