From e3c625ad4d2244b85a530a289f382d3a6bbafc7d Mon Sep 17 00:00:00 2001 From: vfdev Date: Thu, 31 Aug 2023 10:01:23 +0200 Subject: [PATCH] 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 <97878444+guptaaryan16@users.noreply.github.com> --- .github/workflows/discord_issues.yml | 4 ---- .github/workflows/discord_pull_requests.yaml | 3 ++- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/.github/workflows/discord_issues.yml b/.github/workflows/discord_issues.yml index a91c586d4ef..db79dd44acb 100644 --- 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 index 686d95ba602..121aa581aa4 100644 --- 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 }}`: + discord_message: New PR created in `${{ github.repository }}`: