Fix Travis CI username formatting for github public repos.
Review Request #10972 — Created March 26, 2020 and submitted — Latest diff uploaded
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.