a repo with a dot in the name