Use this shell function to remove local git branches that have been merged in your origin repo (say from a GH PR).
$ git_rm_merged_branches
The following branches have been merged and can be removed:
circleci-tests
curated-comments
del-resque-counter
email-docs
fix-kp-vids
fix-suggestion-box
group-email-dont-die
hotfix-cached-counts
prevent-cc-dbl-charges
reschedule-delete
rm-packagecloud
unicorn-simple-config
Press ENTER to purge branches.
Deleted branch circleci-tests (was d8c577d).
Deleted branch curated-comments (was 5f47a88).
Deleted branch del-resque-counter (was 935def7).
Deleted branch email-docs (was 3877806).
Deleted branch fix-kp-vids (was e96b2c9).
Deleted branch fix-suggestion-box (was cf7af66).
Deleted branch group-email-dont-die (was 4b17060).
Deleted branch hotfix-cached-counts (was 324c572).
Deleted branch prevent-cc-dbl-charges (was 4aea326).
Deleted branch reschedule-delete (was 8668973).
Deleted branch rm-packagecloud (was 5e31c59).