Cleanly merge git repositories

I describe how I did a clean, four-way merge of git repositories.

December 8, 2022