To revert the modifications you could use `git checkout <SHA> <PATH>` then commit and push that... Or you can eradicate the change from the history by interactive rebasing, amending the relevant commit and force pushing.