Skip to content
Browse files

[docbot] write message in open PR needing doc to warn the author (s)h…

…e should take care of it
  • Loading branch information
3nids committed Jan 8, 2020
1 parent 43690be commit 8f90d110dd87bb87be09b62a548c73b309e19133
Showing with 37 additions and 0 deletions.
  1. +37 −0 .github/workflows/pr-needs-docs-message.yml
@@ -0,0 +1,37 @@
name: Ping PR author about documentation

- opened
- labeled
if: contains( github.event.pull_request.labels.*.name, 'Needs Documentation')
runs-on: ubuntu-latest
# obfuscate the github token so it can be used on jobs triggered from forks
- name: Clear GH Token
id: token
uses: opengisch/clear-token@v1.0.12
bot_token_encrypted: ddbdec32940df79f1adf2369b4b10f10b5a66f65
bot_token_xor_key: a1b2c3d47311f8e29e204f85a81b4df4a44e252c

# write comment to ping the PR author
- name: Create comment
uses: peter-evans/create-or-update-comment@v1
token: ${{ steps.token.outputs.token }}
issue-number: ${{ github.event.pull_request.number }}
body: |
@${{ github.event.pull_request.user.login }}
This pull request has been tagged as **requiring documentation**.
A documentation ticket will be opened at **when this PR is merged**.
**Please update the description** (not the comments) with helpful description and screenshot to help the work from documentors.
Also, any commit having [needs-doc] or [Needs Documentation] in will see its message pushed to the issue, so please be as verbose as you can.
Thank you!
reaction-type: 'rocket'

0 comments on commit 8f90d11

Please sign in to comment.
You can’t perform that action at this time.