sS githubRepoURL(S user, S repoName) {
  ret "https://github.com/" + user + "/" + repoName;
}