GitLasso: A small tool for managing multiple Git repositoriesgithub.com/KMahoney3 pointskpmah2 years ago