`GITHUB_REPO` since it's only one.