https://deletejulllb.blogspot.com/2023/08/delete-remote-branch-git-terminal.html