1
0
mirror of synced 2026-01-08 03:01:54 -05:00

Remove non-functional parts of repo sync (#37902)

This commit is contained in:
Kevin Heis
2023-06-15 11:18:36 -07:00
committed by GitHub
parent 8b6054a346
commit 6e33e46174

View File

@@ -126,30 +126,6 @@ jobs:
}
console.log('No detected merge conflicts')
// Temporary, what does this prevent?
// console.log('Checking mergeable')
// if (pull.mergeable) {
// console.log('Pull request is mergeable')
// } else {
// console.log('Pull request is not mergeable, closing')
// await closePullRequest(pull_number)
// return
// }
console.log('Approving pull request')
try {
await github.rest.pulls.createReview({
owner,
repo,
pull_number,
event: 'APPROVE',
})
console.log('Approved pull request')
} catch (error) {
console.error('Failed to approve the pull request.', error)
// Don't fail the workflow
}
console.log('Merging the pull request')
// Admin merge pull request to avoid squash
await github.rest.pulls.merge({