Skip to content
Permalink
Browse files

Undo erroneous change

  • Loading branch information
m-kuhn committed Mar 24, 2020
1 parent 4414ca7 commit 9cacb42746d619c2e4d177de977422a7e563e69d
Showing with 1 addition and 11 deletions.
  1. +1 −11 .github/workflows/pr_to_doc_issue.yml
@@ -104,17 +104,7 @@ jobs:
# write comment to ping the PR author
- name: Create comment
if: github.event.pull_request.merged && ( ( github.event.action
# write comment to ping the PR author
- name: Create comment
uses: peter-evans/create-or-update-comment@v1
with:
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== 'closed' && contains( github.event.pull_request.labels.*.name, 'Needs Documentation') ) || github.event.label.name == 'Needs Documentation' )
if: github.event.pull_request.merged && ( ( github.event.action == 'closed' && contains( github.event.pull_request.labels.*.name, 'Needs Documentation') ) || github.event.label.name == 'Needs Documentation' )
uses: peter-evans/create-or-update-comment@v1
with:
token: ${{ steps.token.outputs.token }}

0 comments on commit 9cacb42

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