()
| 54 | } |
| 55 | } |
| 56 | function repoNameWithOwner() { |
| 57 | let url = ""; |
| 58 | try { url = execGit(["remote", "get-url", "origin"]).trim(); } catch { } |
| 59 | const m = url.match(/github\.com[:/](?<owner>[^/]+)\/(?<repo>[^/]+?)(?:\.git)?$/i); |
| 60 | if (m?.groups) return `${m.groups.owner}/${m.groups.repo}`; |
| 61 | die("Could not determine GitHub repo from 'origin' remote."); |
| 62 | } |
| 63 | function revList(range, paths) { |
| 64 | const args = ["rev-list", range]; |
| 65 | if (paths.length) args.push("--", ...paths); |
no test coverage detected