https://deletejullld.blogspot.com/2023/08/git-delete-remote-branch-without-local.html