-r -a: also check if the name of the repository is already used
as an abbreviation.