From 31157795daaf912e6d16923d44788c3758ad8a59 Mon Sep 17 00:00:00 2001 From: Demetrius Kanios Date: Wed, 16 Sep 2026 11:43:36 -0700 Subject: [PATCH] chore(plugin-wit/ci): Remove faulty `close-prs.yml` (#3486) --- .github/workflows/close-prs.yml | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 .github/workflows/close-prs.yml diff --git a/.github/workflows/close-prs.yml b/.github/workflows/close-prs.yml deleted file mode 100644 index a7f8795..0000000 --- a/.github/workflows/close-prs.yml +++ /dev/null @@ -1,28 +0,0 @@ -name: Close PRs - -on: - pull_request_target: - types: [opened, reopened] - workflow_dispatch: - -permissions: - pull-requests: write - -jobs: - manage-prs: - runs-on: ubuntu-slim - steps: - - name: "Close PR(s)" - run: | - if [ "${{ github.event_name }}" = "pull_request" ]; then - echo "${{ github.event.pull_request.number }}" - else - gh pr list --state open --limit 200 --json number --jq '.[].number' - fi | while read pr; do - if [ -n "$pr" ]; then - echo "Closing PR #$pr" - gh pr close $pr --comment "This repository does not accept direct pull requests. See #44 for details." - fi - done - env: - GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}