Are repository names case sensitive?

tl;dr: is there official documentation around whether two repos can co-exist in the same org which differ only by capitalization in the repo name?

In practice, this seems to be impossible: if I attempt to create a repo that differs only by case, the github UI will prevent me from creating it.

However, the documentation explicitly say “repo names are case sensitive”, albeit in the context of errors cloing a repo.

Is there an official policy/answer in the github docs?

From testing I can say they are not case sensitive.