Re: Should we restore manually maintained ChangeLogs

[Eli Zaretskii]

> From: Andreas Schwab <address@hidden>
> Cc: address@hidden
> Date: Thu, 10 Mar 2016 11:00:47 +0100
> 
> > More generally, can we put something in .git/config that would cause
> > that namespace to be pulled by default?
> 
> git config --add remote.origin.fetch +refs/replace/*:refs/replace/*

OK, thanks.

So how does one go about creating a replacement commit for a commit
that was pushed upstream?  The man page of "git replace" mentions "git
rebase", but I cannot find anything pertinent on the rebase man page.
The procedure described here:

  https://git-scm.com/book/en/v2/Git-Tools-Replace

sounds quite complicated.  If we need to do all that every time we
want to fix a single commit, I'd expect a lot of mistakes and snafus.
But maybe there's an easier way, in which case we could consider this
feature as part of the solution for fixing mistakes in log messages.