Currently, when I have to do it, here are the steps that I follow:
- Revert the commit (without creating a new commit, of course)
- Reset all the modification introduced by the “revert,” except the one of the file that I wand to revert
- Stage the reversal of the file which I want to revert and amend the last commit
Is there a more straightforward way to do that?