From f5ca1e88d408dd12382fac9d4d3ee8f911076400 Mon Sep 17 00:00:00 2001
From: Shaun Inman <shaun@panic.com>
Date: Tue, 28 Feb 2023 22:01:04 -0500
Subject: [PATCH] this did nothing (I swear it worked for MiniUI...)

---
 .github/workflows/nopr.yaml | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 .github/workflows/nopr.yaml

diff --git a/.github/workflows/nopr.yaml b/.github/workflows/nopr.yaml
deleted file mode 100644
index 1bce623..0000000
--- a/.github/workflows/nopr.yaml
+++ /dev/null
@@ -1,16 +0,0 @@
-on:
-  pull_request:
-  workflow_dispatch:
-
-
-jobs:
-  close:
-    name: Close Pull Request
-    runs-on: ubuntu-latest
-    steps:
-    - name: Close Pull Request
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      run: |
-        # Find all open PRs, and close them.
-        gh pr list --repo=${{ github.repository }} --state=open --json=number | jq '.[].number' | xargs gh pr close --repo=${{ github.repository }} -d
\ No newline at end of file