github.com/eliastor/durgaform@v0.0.0-20220816172711-d0ab2d17673e/.github/workflows/merged-pr.yml (about) 1 name: Merged Pull Request 2 permissions: 3 pull-requests: write 4 5 # only trigger on pull request closed events 6 on: 7 pull_request_target: 8 types: [ closed ] 9 10 jobs: 11 merge_job: 12 # this job will only run if the PR has been merged 13 if: github.event.pull_request.merged == true 14 runs-on: ubuntu-latest 15 steps: 16 - uses: actions/github-script@v5 17 with: 18 script: | 19 github.rest.issues.createComment({ 20 issue_number: context.issue.number, 21 owner: context.repo.owner, 22 repo: context.repo.repo, 23 body: "Reminder for the merging maintainer: if this is a user-visible change, please update the changelog on the appropriate release branch." 24 })