Merged repo for protocol headers? Why are they split?

[Gioele Barabucci]

Hi,

06.12.2017 13:37 Daniel Martin:
> PS: Just talked to Peter, he's okay with filter-branch as it gives us
> git-log without a struggle and references to other commits can be
> looked up in the old repos
A suggestion: you could add the old IDs into the new commit logs. This 
makes it possible to search for old commits with a simple grep.

You can do this with a `--msg-filter` pass like the following one. This 
filter must be run before `filter_branch_prefix_subject`.

     git filter-branch --msg-filter '
         cat && echo && echo "Original-Commit-ID: $GIT_COMMIT"
     ' $branch

Regards,

--
Gioele Barabucci <gioele at svario.it>
http://gioele.io