Repo ids are now GitHub-inherited