Lost git history

[andrewimeson]

Rather than pulling in the files and committing them, consider using a git subtree merge to bring unrelated repositories together while retaining commit history.

[ssbarnea]

Yeah,... in an ideal world this should have being the better approach. Given the very limited amount of time we had for this, we will survive with looking at the archived repos.