You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- name: ⏭ Create pull request from stable to main when direct merge fails
121
-
if: steps.mergeMainline.outcome == 'failure'
122
-
uses: thomaseizinger/create-pull-request@1.4.0
123
-
with:
124
-
github_token: ${{ secrets.BUNIT_BOT_TOKEN }}
125
-
head: stable
126
-
base: main
127
-
title: Update main with documentation in stable
128
-
reviewers: ${{ github.actor }} # By default, we request a review from the person who triggered the workflow.
129
-
body: |
130
-
Hi @${{ github.actor }}
131
-
132
-
This PR was created because the [docs-deploy](https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}) failed to automatically merge stable into main.
- name: ⏭ Create pull request from stable to main when direct merge fails
130
-
if: steps.mergeMainline.outcome == 'failure'
131
-
uses: thomaseizinger/create-pull-request@1.4.0
132
-
with:
133
-
github_token: ${{ secrets.BUNIT_BOT_TOKEN }}
134
-
head: stable
135
-
base: main
136
-
title: Update main with changes in stable after v${{ steps.nbgv.outputs.SemVer2 }} release
137
-
reviewers: ${{ github.actor }} # By default, we request a review from the person who triggered the workflow.
138
-
body: |
139
-
Hi @${{ github.actor }}
140
-
141
-
This PR was created because the [release workflow](https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}) failed to automatically merge stable into main.
0 commit comments