From 0339d771d1ce7d20bfbf289ba984161b4a0a437a Mon Sep 17 00:00:00 2001
From: github-actions <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 30 Sep 2024 14:52:44 +0000
Subject: [PATCH] Auto generate missing individual markdowns

---
 devenv.local.nix | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 devenv.local.nix

diff --git a/devenv.local.nix b/devenv.local.nix
new file mode 100644
index 000000000..692e45975
--- /dev/null
+++ b/devenv.local.nix
@@ -0,0 +1 @@
+{ pre-commit.default_stages = ["manual"]; }