Re: Amending commits

[Gregory Heytings]

> As someone who does not really understand Git, does this mean we are 
> rewriting the log message without also committing a change?  I thought 
> that was not allowed by Git.

git commit --amend is mainly used to change a commit before pushing it. 
Rewriting history (i.e. changing an already public commit) is (by default) 
not possible.