svoid unpackGithubMasterZip(S user, S repoName, File destDir) {
  File zip = loadBinaryPageToDefaultFile(githubMasterZipURL(user, repoName));
  zip2dir_verbose(zip, destDir);
}