Simple tool for managing several git repositories