https://deletejullld.blogspot.com/2022/06/delete-existing-local-branch-git.html