lint: remove pre-commit dev requirement

pre-commit is optional for devs, we should not make everyone install it. Signed-off-by: Lukas Puehringer <[email protected]>
secure-systems-lab · May 24, 2023 · 1863002 · 1863002
1 parent 6d87825
commit 1863002
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -1,6 +1,7 @@
 # Automatically run checks over changed files prior to `git commit`.
 # Required one-time setup:
 #
+#   pip install pre-commit
 #   pre-commit install
 #
 # See https://pre-commit.com for details.

diff --git a/requirements-dev.txt b/requirements-dev.txt
@@ -2,7 +2,6 @@
 # requirements for local testing with tox, and also for the running test suite
 # or individual tests manually
 tox
-pre-commit
 -r requirements.txt
 -r requirements-test.txt
 -r requirements-lint.txt