Re: Amending commits

[Stefan Monnier <monnier@iro.umontreal.ca>]

>> 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.

When people say that in Git you cannot rewrite history, what it means is
that you can't change anything about a given *commit id* (aka
"revision").
Of course, you can create a new revision (i.e. a different commit id)
with any content you like.  Things like `rebase` and `filter-repo` are
more general version of `commit --amend` and work in the same way, by
writing a whole new history.


        Stefan