I would like to know how to delete a commit.
By delete, I mean it is as if I didn\'t make that commit, and when I do a push in the future, my changes wi
delete
If you've already pushed, first find the commit you want to be at HEAD ($GIT_COMMIT_HASH_HERE), then run the following:
git reset --hard $GIT_COMMIT_HASH_HERE git push origin HEAD --force
Then each place the repo has been cloned, run:
git reset --hard origin/master