Commit messages and the move to git

[Szabolcs Nagy]

On 19/11/2019 23:44, Joseph Myers wrote:
> I do think "Related to PR NNNNN (description)" or similar is a good 
> summary line to insert where the present summary line is just a ChangeLog 
> date/author line.

i agree.