Skip to content

Instantly share code, notes, and snippets.

@yurydelendik
Created November 12, 2012 15:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save yurydelendik/4059975 to your computer and use it in GitHub Desktop.
Save yurydelendik/4059975 to your computer and use it in GitHub Desktop.
Detection and removal merged origin branches
# list branches from origin
git branch -r | grep "origin/"
# show branches that are merge in the specific tree
git branch -r --contains origin/branchname | grep "mozilla/master"
# delete branch
git push origin :branchname
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment