(username: str, ghnum: GhNumber)
| 149 | |
| 150 | |
| 151 | def branch_head(username: str, ghnum: GhNumber) -> GitCommitHash: |
| 152 | return branch(username, ghnum, "head") |
| 153 | |
| 154 | |
| 155 | def branch_orig(username: str, ghnum: GhNumber) -> GitCommitHash: |
no test coverage detected