Skip to content

Hi πŸ‘‹ Create Faisal #20522

Hi πŸ‘‹ Create Faisal

Hi πŸ‘‹ Create Faisal #20522

name: Merged notification
# **What it does**: When we merge an open-source pull request, we want to set expectations that deployment may take awhile.
# **Why we have it**: We deploy to production from docs-internal, not docs.
# **Who does it impact**: Open-source contributors.
on:
# Needed in lieu of `pull_request` so that the notification comment is posted to a PR from a fork.
pull_request_target:
types:
- 'closed'
permissions:
issues: write
pull-requests: write
contents: read
jobs:
comment:
if: github.repository == 'github/docs' && github.event.pull_request.merged && github.event.pull_request.base.ref == github.event.repository.default_branch && github.event.pull_request.user.login != 'docs-bot'
runs-on: ubuntu-latest
steps:
- uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
with:
script: |
github.rest.issues.createComment({
...context.repo,
issue_number: context.payload.pull_request.number,
body: "Thanks very much for contributing! Your pull request has been merged πŸŽ‰ You should see your changes appear on the site in approximately 24 hours. If you're looking for your next contribution, check out our [help wanted issues](https://github.com/github/docs/issues?q=is%3Aopen+is%3Aissue+label%3A%22help+wanted%22) :zap:"
})