From 7356954489c5dee08f3df6070ff648fbff19a46f Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Wed, 20 Mar 2024 11:56:15 -0700
Subject: [PATCH] Trying to fix labels

---
 .github/workflows/manual.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
index c5674109c..f42ba1072 100644
--- a/.github/workflows/manual.yml
+++ b/.github/workflows/manual.yml
@@ -41,7 +41,6 @@ jobs:
           gh issue create \
             --repo "dafny-lang/dafny" \
             --title "(TEST ISSUE PLEASE IGNORE) Dafny nightly regression from ${{ github.repository }}" \
-            --label "release-blocker,autocut" \
+            --label "autocut" \
             --body "Failure in ${{ github.workflow_ref }}. \
-            \
             See ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"