A tool to deal with many git repositories