https://deletejulllb.blogspot.com/2023/04/delete-remote-branch-in-git-command.html