(number: number)
| 1374 | } |
| 1375 | |
| 1376 | async closePR(number: number) { |
| 1377 | console.log('%c Deleting PR', 'line-height: 30px;text-align: center;font-weight: bold'); |
| 1378 | const result: Endpoints['PATCH /repos/{owner}/{repo}/pulls/{pull_number}']['response']['data'] = |
| 1379 | await this.request(`${this.originRepoURL}/pulls/${number}`, { |
| 1380 | method: 'PATCH', |
| 1381 | body: JSON.stringify({ |
| 1382 | state: PullRequestState.Closed, |
| 1383 | }), |
| 1384 | }); |
| 1385 | return result; |
| 1386 | } |
| 1387 | |
| 1388 | async mergePR(pullrequest: GitHubPull) { |
| 1389 | console.log('%c Merging PR', 'line-height: 30px;text-align: center;font-weight: bold'); |
no test coverage detected