From 7bcf9ade60603921f46e267461e0e157bd89adfb Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Mon, 2 Jun 2025 17:10:18 +0200 Subject: [PATCH] workflows/dismissed-review: drop This doesn't work, because it doesn't have the required permissions to make any modifications. --- .github/workflows/dismissed-review.yml | 30 -------------------------- 1 file changed, 30 deletions(-) delete mode 100644 .github/workflows/dismissed-review.yml diff --git a/.github/workflows/dismissed-review.yml b/.github/workflows/dismissed-review.yml deleted file mode 100644 index 9886dad2b74e..000000000000 --- a/.github/workflows/dismissed-review.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: Dismissed Review - -on: - pull_request_review: - types: [dismissed] - -permissions: - pull-requests: write - -jobs: - # The check-cherry-picks workflow creates review comments, - # that should sometimes be manually dismissed. - # When a CI-generated review is dismissed, this job automatically - # minimizes it, to prevent it from cluttering the PR. - minimize: - name: Minimize as resolved - if: github.event.review.user.login == 'github-actions[bot]' - runs-on: ubuntu-24.04-arm - steps: - - uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1 - with: - script: | - await github.graphql(`mutation($node_id:ID!) { - minimizeComment(input: { - classifier: RESOLVED, - subjectId: $node_id - }) - { clientMutationId } - }`, { node_id: context.payload.review.node_id }) -