Merging two GitHub repositories without losing commit history | Hacker News Reader