It's cumbersome and prone to typos. Also several other commands and options are abbreviating repository to "repo":
I suggest "repo_config" or "repos_config".
(In reply to Ulrich Müller from comment #0)
There is master_repositories command :) .
(In reply to Arfrever Frehtes Taifersar Arahesis from comment #1)
> There is master_repositories command :) .
Yeah, shorten that one too, while you're at it. ;)
This is fixed in git:
This is fixed in 2.1.13 and 2.2.0_alpha189.