https://hashnode.com/post/git-tip-deleting-merged-branches-locally-cj0donsr4002ef6534wohzlfk#cj3mi2tht00cxgjk94xtz3i4q
Chaim Lev-Ari's answer to Git Tip: Deleting merged branches locally