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"]; }