Re: Should we restore manually maintained ChangeLogs

[Stefan Monnier]

> When you only want to deal with changing the commit message and not
> the actual commit, it is as simple as calling `git replace --edit
> <SHA>'. This will bring up your system editor where you can change the
> commit message.

Ha!  Finally!

So "git replace" seems like it might do the trick.
At least it leads to the right "git log" output.  Now the question is:
how do we distribute those "replacements"?

According to "git replace --help" they're added to the refs/replace/
namespace, so what do we need to do for push/pull to propagate them?


        Stefan