(summary: string, pr: GitHubPullRequest)
| 745 | } |
| 746 | |
| 747 | async function pushToForkBranch(summary: string, pr: GitHubPullRequest) { |
| 748 | console.log("Pushing to fork branch...") |
| 749 | const actor = useContext().actor |
| 750 | |
| 751 | const remoteBranch = pr.headRefName |
| 752 | |
| 753 | await assertGitIdentityConfigured() |
| 754 | await $`git add .` |
| 755 | await $`git commit -m "${summary} |
| 756 | |
| 757 | Co-authored-by: ${actor} <${actor}@users.noreply.github.com>"` |
| 758 | await $`git push fork HEAD:${remoteBranch}` |
| 759 | } |
| 760 | |
| 761 | async function branchIsDirty() { |
| 762 | console.log("Checking if branch is dirty...") |
no test coverage detected