https://deletejulllb.blogspot.com/2022/12/delete-local-branch-on-github.html