GitLasso: A small tool for managing multiple Git repositories | Hacker News Reader