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 jos...@codesourcery.com
