https://dudidamdam.pages.dev/posts/how-to-remove-a-commit-from-github/