On 3/8/16 11:57 AM, Óscar Fuentes wrote:
> Eli Zaretskii <eliz@gnu.org> writes:
>>> From: Óscar Fuentes <ofv@wanadoo.es>

>>> We are not even using `git notes'.
>>
>> No one came up with a detailed procedure for doing that.  If you can
>> propose something that works, please do.
> 
> It's simple: put the corrected commit log on a note. When the ChangeLogs
> are generated, if a commit has a note, use the note instead of the
> commit log message.

Since notes seem like a no-go, what about taking the same approach but
using an empty commit to do it (`git commit --allow-empty`)? That way it
gets pushed and merged between branches just like normal.

-David