Merged repo for protocol headers? Why are they split?

[Daniel Martin]

On 28 November 2017 at 16:51, Emil Velikov <emil.l.velikov at gmail.com> wrote:
> One reasonably easy way to fold the repositories [while preserving all
> the history] is via git filter-branch.

Yes, but, filter-branch rewrites the history too. As Peter stated
earlier, this breaks commit messages referencing other commits.

> See xserver commit 35dc7c75150733dbcef8a18b6796f49a7c48ebee which
> imports modesetting.

So, we have an example where we accepted to rewrite history.

> One could even script the process ;-)

PoC: https://github.com/bartsch/proto2k-generator/blob/master/generator.sh