(summary: string, pr: GitHubPullRequest, commit: boolean)
| 1104 | } |
| 1105 | |
| 1106 | async function pushToForkBranch(summary: string, pr: GitHubPullRequest, commit: boolean) { |
| 1107 | console.log("Pushing to fork branch...") |
| 1108 | |
| 1109 | const remoteBranch = pr.headRefName |
| 1110 | |
| 1111 | if (commit) { |
| 1112 | await gitRun(["add", "."]) |
| 1113 | await commitChanges(summary, actor) |
| 1114 | } |
| 1115 | await gitRun(["push", "fork", `HEAD:${remoteBranch}`]) |
| 1116 | } |
| 1117 | |
| 1118 | async function branchIsDirty(originalHead: string, expectedBranch: string) { |
| 1119 | console.log("Checking if branch is dirty...") |
no test coverage detected