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