Tools for managing many git repositories