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