Create/Update pr4283 branch #57
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: push-pr | |
| run-name: Create/Update pr${{ inputs.prNumber }} branch | |
| on: | |
| workflow_dispatch: | |
| inputs: | |
| prNumber: | |
| description: 'PR number' | |
| required: true | |
| type: string | |
| # we decided not to have 'workflow_run' here (chained off CI success) for 'trusted' forks, as we don't know/control the | |
| # access control etc. - so keeping it manual only (via workflow_dispatch above) | |
| # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_run: | |
| jobs: | |
| push-pr: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| actions: write | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: push-pr | |
| env: | |
| PR: ${{ inputs.prNumber }} | |
| run: | | |
| echo "Pushing PR merge commit for ${PR} to remote pr${PR} branch" | |
| git fetch -f origin pull/${PR}/merge:pr${PR} | |
| git push -f origin pr${PR}:pr${PR} | |
| - name: trigger CI | |
| env: | |
| PR: ${{ inputs.prNumber }} | |
| GH_TOKEN: ${{ github.token }} | |
| run: gh workflow run ci.yml --ref pr${PR} | |