INGIniousIn a previous exercise, you had to cancel an unpushed commit.
Although you might be tempted to change the history of a reposistory, this is generally a bad idea
when you work with several people because this may d'erase modifications they made
on their own copy.
In this case, you should not use reset but only revert.
Indeed, the latter adds a new commit that reverts the previous ones but do not delete them.
We want to move from
to
You may then push these modifications to the remote repository: