Command to delete merged branches

This is handy after a bunch of your local branches get merged via pull requests.
good to know! is the marginally greater portability of `[` worth preferring it? AFAIK I am always using shells that support `[[`, but I've tried to always use `[` over `[[` because of alleged portability advantages.