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