|
@@ -192,6 +192,8 @@ jobs:
|
|
|
pull-requests: write
|
|
|
if: needs.state.outputs.merge == 'true'
|
|
|
runs-on: ubuntu-latest
|
|
|
+ env:
|
|
|
+ MERGE_BRANCH: merge/${{ github.ref_name }}
|
|
|
steps:
|
|
|
- uses: actions/checkout@v3
|
|
|
with:
|
|
@@ -200,7 +202,9 @@ jobs:
|
|
|
uses: ./.github/actions/setup
|
|
|
- run: bash scripts/git-user-config.sh
|
|
|
- name: Create branch to merge
|
|
|
- run: bash scripts/release/workflow/prepare-release-merge.sh
|
|
|
+ run: |
|
|
|
+ git checkout -B "$MERGE_BRANCH" "$GITHUB_REF_NAME"
|
|
|
+ git push -f origin "$MERGE_BRANCH"
|
|
|
- name: Create PR back to master
|
|
|
uses: actions/github-script@v6
|
|
|
with:
|
|
@@ -208,7 +212,7 @@ jobs:
|
|
|
await github.rest.pulls.create({
|
|
|
owner: context.repo.owner,
|
|
|
repo: context.repo.repo,
|
|
|
- head: 'merge/${{ github.ref_name }}',
|
|
|
+ head: process.env.MERGE_BRANCH,
|
|
|
base: 'master',
|
|
|
title: '${{ format('Merge {0} branch', github.ref_name) }}'
|
|
|
});
|