| # Sub-workflow to manage commenting on and closing PRs. |
| if: inputs.state == 'success' || inputs.state == 'SUCCESS' |
| - uses: marocchino/sticky-pull-request-comment@v2 |
| number: ${{ inputs.pullNumber }} |
| header: pr_was_imported # key to reuse the same comment |
| 👋 Thanks for your contribution! Your PR has been imported to Gerrit. |
| Please visit ${{ inputs.targetUrl }} to see it and CC yourself on the change. |
| After iterating on feedback, please comment on the Gerrit review to notify reviewers. |
| All reviews are handled within Gerrit, any comments on the GitHub PR may be missed. |
| You can continue to upload commits to this PR, and they will be automatically imported |
| if: inputs.state == 'merged' || inputs.state == 'MERGED' |
| - uses: marocchino/sticky-pull-request-comment@v2 |
| number: ${{ inputs.pullNumber }} |
| header: pr_was_merged # key to reuse the same comment |
| message: 🚀 PR was merged in ${{ inputs.targetUrl }}! |
| uses: actions/github-script@v6 |
| await github.rest.pulls.update({ |
| owner: context.repo.owner, |
| pull_number: ${{ inputs.pullNumber }}, |