https://deletejullld.blogspot.com/2022/08/git-delete-local-unmerged-branch.html