Review Request #10972 — Created March 26, 2020 and submitted
The calculation of the repository path was using the wrong key for
public repositories on GitHub (for individual users, not an
organization). This change fixes it.
Was able to configure and use Travis CI with a non-organization
public repository on GitHub.