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