From f18d45053293a6858ae28759da5b54ebb7dbef8a Mon Sep 17 00:00:00 2001
From: Josselin Feist <josselin@trailofbits.com>
Date: Wed, 2 Oct 2024 11:26:31 +0200
Subject: [PATCH] Delete .github/workflows/black_manual.yaml

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

diff --git a/.github/workflows/black_manual.yaml b/.github/workflows/black_manual.yaml
deleted file mode 100644
index e3a79df6e..000000000
--- a/.github/workflows/black_manual.yaml
+++ /dev/null
@@ -1,39 +0,0 @@
-name: Manual Black formatting
-
-on:
-  workflow_dispatch:  # This allows you to manually trigger the workflow
-
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-
-jobs:
-  format-code:
-    runs-on: ubuntu-latest
-    if: github.actor == 'montyly' || github.actor == 'smonicas' # only Josselin or Simone can trigger this
-    steps:
-    - name: Checkout repository
-      uses: actions/checkout@v4
-      with:
-        ref: ${{ github.head_ref }}  # Checkout the branch of the PR
-
-    - name: Set up Python
-      uses: actions/checkout@v4
-      with:
-        python-version: '3.x'
-
-    - name: Install Black
-      run: pip install .[dev]
-
-    - name: Run Black and auto-format code
-      run: black .
-
-    - name: Commit and push changes if formatting occurred
-      run: |
-        git config --local user.email "actions@github.com"
-        git config --local user.name "GitHub Actions"
-        git add .
-        git diff-index --quiet HEAD || git commit -m "Auto format code with Black"
-        git push origin ${{ github.head_ref }}
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}