We need to revert to a prior commit, but because changes since that commit have been pushed into production we can't destroy repo history with git reset
.
Reverting to past commits has been addressed here and here, but neither provides a satisfactory non-destructive solution.
We tried to follow @Ben's answer by checking out the previous commit in a separate branch, but when we tried to merge it into master we get an "Already up-to-date." message and nothing happens.
$ git checkout 0766c053 -b reverted
$ git checkout master
$ git merge reverted
Already up-to-date.