https://deletejullld.blogspot.com/2022/09/git-delete-remote-branch-commit.html