Too lazy to look. What's the default name of the RepoSearchCommand if not repos?