git delete local branch
By Mario Kassulke at Feb 21 2022
[alias] git delete local branch
By Abraham Erdman at May 14 2021