new post: Merging two Git repositories with unrelated branches