Release v4.4.2 #32
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow is triggered when a pull request is merged and the label 'release' is present. | |
| # It opens a pull request to backport the changes from main to develop. | |
| name: Create backport pull request | |
| on: | |
| pull_request: | |
| branches: | |
| - main | |
| types: | |
| - closed | |
| jobs: | |
| create-backport-pull-request: | |
| if: ${{ (github.event.pull_request.merged == true) && (contains(github.event.pull_request.labels.*.name, 'release')) }} | |
| runs-on: ubuntu-24.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: develop | |
| # See https://github.com/peter-evans/create-pull-request/blob/main/docs/examples.md#keep-a-branch-up-to-date-with-another | |
| - name: Fetch main branch | |
| run: | | |
| git fetch origin main:main | |
| git reset --hard main | |
| - name: Create Pull Request | |
| uses: peter-evans/create-pull-request@v7 | |
| with: | |
| commit-message: 'chore: backport main to develop' | |
| title: Backport main to develop | |
| branch: chore/backport-main-to-develop | |
| base: develop | |
| labels: skip-changelog |