Arvados

This restriction was deliberate in #4253, but the rationale doesn't seem to have been noted.

Unlike usernames, it might even be acceptable to have a repo named "0". We should make sure to test this (including gitolite and our gitolite permission updater) in case something treats "0" as falsy, etc.