Tools for working with many git repositories