Options for moving files between Git repos | Hacker News Reader