Merge changes from work

2024-05-17 16:30:29 +02:00
parent 386d856c60
commit 2a2279ee29
10 changed files with 89 additions and 17 deletions
--- a/nix/user/git.nix
+++ b/nix/user/git.nix
@ -24,5 +24,10 @@
      push.default = "matching";
      init.defaultBranch = "main";
    };
+
+    ignores = [
+      ".direnv/"
+      ".envrc"
+    ];
  };
 }