Repos consolidate with https://saintgimp.org/2013/01/22/merging-two-git-repositories-into-one-repository-without-losing-file-history/