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