Merge pull request #30408 from hashicorp/alisdair/pr-merge-changelog-reminder

Add merged pull request reminder 📎
This commit is contained in:
Alisdair McDiarmid 2022-01-27 07:23:13 -05:00 committed by GitHub
commit 64c7743793
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 24 additions and 0 deletions

24
.github/workflows/merged-pr.yml vendored Normal file
View File

@ -0,0 +1,24 @@
name: Merged Pull Request
permissions:
pull-requests: write
# only trigger on pull request closed events
on:
pull_request_target:
types: [ closed ]
jobs:
merge_job:
# this job will only run if the PR has been merged
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
- uses: actions/github-script@v5
with:
script: |
github.rest.issues.createComment({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
body: "Reminder for the merging maintainer: if this is a user-visible change, please update the changelog on the appropriate release branch."
})