From fc94e3dcdfbe71fba43fe83bb34921d36abfc522 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 20 Mar 2026 07:39:20 -1000 Subject: [PATCH] remove a not successful workflow Signed-off-by: Lev Nachmanson --- .github/workflows/copilot-autofix.yml | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 .github/workflows/copilot-autofix.yml diff --git a/.github/workflows/copilot-autofix.yml b/.github/workflows/copilot-autofix.yml deleted file mode 100644 index 359df1d50..000000000 --- a/.github/workflows/copilot-autofix.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Copilot Autofix on New Issue - -on: - issues: - types: [opened] - -jobs: - assign-to-copilot: - # Only trigger on issues with the 'copilot-autofix' label - if: contains(github.event.issue.labels.*.name, 'copilot-autofix') - runs-on: ubuntu-latest - permissions: - issues: write - steps: - - name: Assign issue to Copilot - run: | - gh issue edit "$ISSUE" --add-assignee copilot - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - ISSUE: ${{ github.event.issue.number }}