Fix part 05 navigation #3007
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
| name: Merge branch rel-8.3 with rel-8.2 | |
| on: | |
| push: | |
| branches: | |
| - rel-8.2 | |
| permissions: | |
| contents: read | |
| jobs: | |
| merge-rel-8-3-with-rel-8-2: | |
| permissions: | |
| contents: write # for peter-evans/create-pull-request to create branch | |
| pull-requests: write # for peter-evans/create-pull-request to create a PR | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| ref: rel-8.3 | |
| - name: Reset promotion branch | |
| run: | | |
| git fetch origin rel-8.2:rel-8.2 | |
| git reset --hard rel-8.2 | |
| - name: Create Pull Request | |
| uses: peter-evans/create-pull-request@v3 | |
| with: | |
| branch: auto-merge/rel-8-2/${{github.run_number}} | |
| title: Merge branch rel-8.3 with rel-8.2 | |
| body: This PR generated automatically to merge rel-8.3 with rel-8.2. Please review the changed files before merging to prevent any errors that may occur. | |
| reviewers: maliming | |
| token: ${{ github.token }} | |
| - name: Merge Pull Request | |
| env: | |
| GH_TOKEN: ${{ secrets.BOT_SECRET }} | |
| run: | | |
| gh pr review auto-merge/rel-8-2/${{github.run_number}} --approve | |
| gh pr merge auto-merge/rel-8-2/${{github.run_number}} --merge --auto --delete-branch |