зеркало из https://github.com/github/docs.git
Merge queue prep: admin merge repo-sync prs (#30816)
This commit is contained in:
Родитель
268a780379
Коммит
efe4c14d92
|
@ -244,12 +244,13 @@ jobs:
|
|||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
number: ${{ steps.find-pull-request.outputs.number }}
|
||||
|
||||
- name: Enable GitHub auto-merge
|
||||
- name: Admin merge the pull request
|
||||
if: ${{ steps.find-pull-request.outputs.number && steps.pr-files.outputs.count != '0' }}
|
||||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.OCTOMERGER_PAT_WITH_REPO_AND_WORKFLOW_SCOPE }}
|
||||
AUTOMERGE_PR_NUMBER: ${{ steps.find-pull-request.outputs.number }}
|
||||
run: node .github/actions-scripts/enable-automerge.js
|
||||
PR_NUMBER: ${{ steps.find-pull-request.outputs.number }}
|
||||
run: |
|
||||
gh pr merge $PR_NUMBER --admin --merge
|
||||
|
||||
- name: Send Slack notification if workflow fails
|
||||
uses: someimportantcompany/github-actions-slack-message@f8d28715e7b8a4717047d23f48c39827cacad340
|
||||
|
|
Загрузка…
Ссылка в новой задаче