https://deletejullld.blogspot.com/2022/12/how-to-delete-remote-branch-in-git-from.html