(number: number)
| 1348 | } |
| 1349 | |
| 1350 | async closePR(number: number) { |
| 1351 | console.log('%c Deleting PR', 'line-height: 30px;text-align: center;font-weight: bold'); |
| 1352 | const result: Endpoints['PATCH /repos/{owner}/{repo}/pulls/{pull_number}']['response']['data'] = |
| 1353 | await this.request(`${this.originRepoURL}/pulls/${number}`, { |
| 1354 | method: 'PATCH', |
| 1355 | body: JSON.stringify({ |
| 1356 | state: PullRequestState.Closed, |
| 1357 | }), |
| 1358 | }); |
| 1359 | return result; |
| 1360 | } |
| 1361 | |
| 1362 | async mergePR(pullrequest: GitHubPull) { |
| 1363 | console.log('%c Merging PR', 'line-height: 30px;text-align: center;font-weight: bold'); |
no test coverage detected