Undo erroneous change

qgis · Mar 24, 2020 · 9cacb42 · 9cacb42
1 parent 4414ca7
commit 9cacb42
Showing 1 changed file with 1 addition and 11 deletions.
diff --git a/.github/workflows/pr_to_doc_issue.yml b/.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 }}