Git und Gerrit: Repositories mergen, Review-DB anpassen

Notiz an mich selber: Wenn ich zwei Repositories mergen will, indem ich Repository A als Unterverzeichnis von Repository B einbinde, dann ist das ein recht trivialer Rewrite-Vorgang, gefolgt von einem Merge ohne gemeinsame Historie. Wenn Gerrit im Spiel ist kommt aber noch ein Commit-Filter hinzu, damit ich die Change-DB anpassen kann:

[Mehr]