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
98
+
if: ${{ failure() }}
99
+
uses: thomaseizinger/create-pull-request@1.0.0
100
+
env:
101
+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
102
+
with:
103
+
head: stable
104
+
base: main
105
+
title: Update main with documentation in stable
106
+
reviewers: ${{ github.actor }} # By default, we request a review from the person who triggered the workflow.
107
+
body: |
108
+
Hi @${{ github.actor }}
109
+
110
+
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
120
120
if: ${{ failure() }}
121
121
uses: thomaseizinger/create-pull-request@1.0.0
@@ -128,5 +128,5 @@ jobs:
128
128
reviewers: ${{ github.actor }} # By default, we request a review from the person who triggered the workflow.
129
129
body: |
130
130
Hi @${{ github.actor }}
131
-
131
+
132
132
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