Route exception logs to logException #277
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: Duplicate PR | |
| #Duplication workflow must be run before PR branch is deleted | |
| on: | |
| issue_comment: | |
| types: [created, edited] | |
| jobs: | |
| duplicate_pr: | |
| name: Duplicate PR | |
| if: ${{ github.event.issue.pull_request && startsWith(github.event.comment.body,'duplicate this PR') }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| # https://github.com/marketplace/actions/github-script | |
| - name: Get PR Intial Commit SHA | |
| if: ${{ github.event.issue.pull_request.merged_at }} | |
| id: initial-sha | |
| uses: actions/[email protected] | |
| with: | |
| script: | | |
| const sha = context.payload.comment.body.split(" ").reverse()[1]; | |
| core.setOutput('sha', sha) | |
| - name: Get PR End Commit SHA | |
| if: ${{ github.event.issue.pull_request.merged_at }} | |
| id: end-sha | |
| uses: actions/[email protected] | |
| with: | |
| script: | | |
| const sha = context.payload.comment.body.split(" ").reverse()[0]; | |
| core.setOutput('sha', sha) | |
| # https://github.com/marketplace/actions/pull-request-comment-branch | |
| - name: Pull Request Comment Branch | |
| uses: xt0rted/[email protected] | |
| id: comment-branch | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| fetch-depth: 0 | |
| - uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.9' | |
| - name: Install Requirements | |
| run: pip install sh | |
| - name: Config Git | |
| run: | | |
| git config --global user.email [email protected] | |
| git config --global user.name github-actions | |
| - name: Run duplicate_pr.py script with PR merged | |
| if: ${{ github.event.issue.pull_request.merged_at }} | |
| run: | | |
| echo Intial SHA is "${{ steps.initial-sha.outputs.sha }}" | |
| python scripts/duplicate_pr.py ${{ steps.comment-branch.outputs.head_ref }} ${{ steps.comment-branch.outputs.base_ref }} --initial_sha ${initial_sha} --end_sha ${end_sha} | |
| env: | |
| initial_sha: ${{ steps.initial-sha.outputs.sha }} | |
| end_sha: ${{ steps.end-sha.outputs.sha }} | |
| - name: Run duplicate_pr.py script with PR not merged | |
| if: ${{ github.event.issue.pull_request.merged_at == null }} | |
| run: python scripts/duplicate_pr.py ${{ steps.comment-branch.outputs.head_ref }} ${{ steps.comment-branch.outputs.base_ref }} | |
| - name: Determine Base Branch | |
| id: base-branch | |
| run: | | |
| if [[ ${{ steps.comment-branch.outputs.base_ref}} = "formplayer" ]] | |
| then echo "NAME=master" >> $GITHUB_OUTPUT | |
| elif [[ ${{ steps.comment-branch.outputs.base_ref}} = "master" ]] | |
| then echo "NAME=formplayer" >> $GITHUB_OUTPUT | |
| fi | |
| - name: Create Pull Request | |
| run: gh pr create --title "${title_text}" --body "${body_text}" --base "${base_branch_name}" | |
| env: | |
| base_branch_name: ${{ steps.base-branch.outputs.NAME }} | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| title_text: Duplicate of ${{ steps.comment-branch.outputs.head_ref }} | |
| body_text: | | |
| Copy of PR ${{github.event.issue.pull_request.html_url}} | |
| GitHub Actions automatically ran duplicate_pr.py and used GitHub CLI to open this pull request. | |
| Please **close and reopen** this pull request to have tests run.<sup>†</sup> | |
| <sup>†</sup> Workaround for [this GitHub Actions constraint](https://docs.github.com/en/actions/security-guides/automatic-token-authentication#using-the-github_token-in-a-workflow) |