https://deletejullld.blogspot.com/2023/07/git-delete-remote-branch-and-local.html