Commit messages and the move to git

[Joseph Myers]

On Tue, 19 Nov 2019, Segher Boessenkool wrote:

> Most of the time after I type "git log" I type "/\<123456\>".  We need
> to keep a way to easily map SVN revision ids to git commits, and
> something a bit more elegant than the ugly git-svn footers would be nice.

Whatever reposurgeon's "write --legacy" yield seems appropriate for making 
the SVN revision ids readily available in the commit messages.  I don't 
think the summary line is a good place for that information.

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.

-- 
Joseph S. Myers
joseph@codesourcery.com