Rewriting history¶

It may happen that you make a mistake in a commit and want to undo this. There are several ways to go about this, but I will discuss git revert and git reset here.