https://deletejulllb.blogspot.com/2023/08/delete-local-branch-git-local.html