febbc5fcff
Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
31 lines
1.4 KiB
YAML
31 lines
1.4 KiB
YAML
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:"
|
|
})
|