Delete local multi-branches

To avoid the manual routine of the deprecated git branches deletion, it is reasonable to use the grep and xaegs sequence

# git branch | grep "SOMEPATTERN" | xargs git branch -D

where “” expects to contain a short patterned selector