tobiasdiez

; c = case sensitive
; c1 = ignore the case that was typed, always use the same case for output
; * = immediate change (no need for space, period, or enter)
; ? = triggered even when the character typed immediately before it is alphanumeric
; r = raw output

;------------------------------------------------------------------------------
; CHANGELOG:
;
; 2011-03-21 and after:  See readme.md

tobiasdiez

'''Delete local branches which have been merged via GitHub PRs.

Usage (from the root of your GitHub repo):

    delete-squahsed-branches [--dry-run]

If you specify --dry-run, it will only print out the branches that would be
deleted.

This script looks for local branches whose tips have been merged onto the