From c4b6995f9f90acc8417eba72e7a989def33d8838 Mon Sep 17 00:00:00 2001
From: Jakob Keller <57402305+jakob-keller@users.noreply.github.com>
Date: Fri, 23 Aug 2024 23:48:16 +0200
Subject: [PATCH] remove GitHub Actions workflow `pre-commit`

---
 .github/workflows/pre-commit.yml | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 .github/workflows/pre-commit.yml

diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml
deleted file mode 100644
index c2aba351..00000000
--- a/.github/workflows/pre-commit.yml
+++ /dev/null
@@ -1,20 +0,0 @@
----
-name: "Pre-commit"
-
-on:
-  push: {}
-
-jobs:
-  pre-commit:
-    runs-on: ubuntu-20.04
-    timeout-minutes: 5
-
-    steps:
-    - uses: actions/checkout@v4
-    - uses: actions/setup-python@v5
-      with:
-        python-version: "3.x"
-    - name: Install
-      run: pip3 install pre-commit
-    - name: Run
-      run: pre-commit run --all-files