https://deletejulllb.blogspot.com/2022/11/git-delete-local-branch-after-merge.html