Git: private repository theft by mixing repositories | Hacker News Reader