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              })