List a repository

Any public repository, once. Its market is keyed to GitHub's numeric repository id, so the same repo can never be listed twice, even after a rename.