https://deletejullld.blogspot.com/2022/07/git-delete-local-branch-ref.html