Reverting changes in git

Note to self: If you need to revert commits that have already been pushed, or otherwised merged with any other repo or branch, use git

git reset is exclusively for undoing commits in your local working tree that have not seen the light of day. Attempting to use git
to undo changes that exist in multiple trees (changes that have been pushed or merged in to another branch or repo) will result in pain and suffering.