Re: Should we restore manually maintained ChangeLogs

[Sven Axelsson]

On 10 March 2016 at 16:03, Stefan Monnier <address@hidden> wrote:
>> 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?

Andreas Schwab answered that in an earlier message.

> 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/*

-- 
Sven Axelsson
++++++++++[>++++++++++>+++++++++++>++++++++++>++++++
>++++<<<<<-]>++++.+.++++.>+++++.>+.<<-.>>+.>++++.<<.
+++.>-.<<++.>>----.<++.>>>++++++.<<<<.>>++++.<----.