From 7e471324d70e95268760a7ace1b314a7fbe65636 Mon Sep 17 00:00:00 2001
From: Erwan Or <erwanor@penumbralabs.xyz>
Date: Wed, 22 Jan 2025 17:45:46 -0500
Subject: [PATCH] ci: disable refinement workflow for now

---
 .../new-issues-labeled-needs-refinement.yml   | 38 +++++++++----------
 1 file changed, 19 insertions(+), 19 deletions(-)

diff --git a/.github/workflows/new-issues-labeled-needs-refinement.yml b/.github/workflows/new-issues-labeled-needs-refinement.yml
index 951ba719cc..4df8ed47ed 100644
--- a/.github/workflows/new-issues-labeled-needs-refinement.yml
+++ b/.github/workflows/new-issues-labeled-needs-refinement.yml
@@ -1,20 +1,20 @@
 # Adds the `needs-refinement` label to newly opened issues.
-name: New issues need refinement
-on:
-  issues:
-    types:
-      - opened
-jobs:
-  label_issues:
-    runs-on: ubuntu-latest
-    permissions:
-      issues: write
-    steps:
-      - run: gh issue edit "$NUMBER" --add-label "$LABELS"
-        env:
-          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          GH_REPO: ${{ github.repository }}
-          NUMBER: ${{ github.event.issue.number }}
-          # Separate multiple labels with commas if other labels are ever
-          # needed e.g., `needs-refinement,foo`.
-          LABELS: needs-refinement
+# name: New issues need refinement
+# on:
+#   issues:
+#     types:
+#       - opened
+# jobs:
+#   label_issues:
+#     runs-on: ubuntu-latest
+#     permissions:
+#       issues: write
+#     steps:
+#       - run: gh issue edit "$NUMBER" --add-label "$LABELS"
+#         env:
+#           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+#           GH_REPO: ${{ github.repository }}
+#           NUMBER: ${{ github.event.issue.number }}
+#           # Separate multiple labels with commas if other labels are ever
+#           # needed e.g., `needs-refinement,foo`.
+#           LABELS: needs-refinement