Fix Discord PR extension workflow output (#3046) (#3051)

* Fix Discord PR extension workflow output * Update variable in discord_pull_requests.yaml Co-authored-by: Aryan Gupta <[email protected]>
pytorch · Aug 31, 2023 · e3c625a · e3c625a
1 parent f2b1183
commit e3c625a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/.github/workflows/discord_issues.yml b/.github/workflows/discord_issues.yml
@@ -4,9 +4,6 @@ on:
   issues:
     types:
       - labeled
-  pull_request:
-    types:
-      - labeled
   workflow_dispatch:
     inputs:
       issue_number:
@@ -15,7 +12,6 @@ on:
 
 permissions:
   issues: write
-  pull-requests: write
 
 jobs:
   discord:

diff --git a/.github/workflows/discord_pull_requests.yaml b/.github/workflows/discord_pull_requests.yaml
@@ -8,6 +8,7 @@ on:
     inputs:
       pull_request_number:
         description: 'Pull request number'
+        required: true
 
 permissions:
   pull-requests: write
@@ -24,5 +25,5 @@ jobs:
           destination: ${{ secrets.DISCORD_BOT_DESTINATION }}
           issue_number: ${{ github.event.inputs.pull_request_number || github.event.pull_request.number }}
           issue_comment: Hey 👋, I've just created a [thread]($THREAD_LINK$) for this pull request on [PyTorch-Ignite Discord](https://pytorch-ignite.ai/chat) where you can quickly talk to the community on the topic.
-          discord_message: New PR created in `${{ github.repository }}`:<https://github.com/${{ github.repository }}/pull/${{ github.event.pull_request.number }}>
+          discord_message: New PR created in `${{ github.repository }}`:<https://github.com/${{ github.repository }}/pull/${{ github.event.pull_request_number || github.event.pull_request.number }}>