From 45b3d95f015f480562d0263978f24b0ea2dd0b71 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Thu, 25 Aug 2022 08:59:55 -0400
Subject: Add users to 'git' group

This *actually* fixes the git/gitolite filesystem permissions issues I ran into
before.
---
 Biz/Users.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Biz/Users.nix b/Biz/Users.nix
index 0e544f4..2f945d6 100644
--- a/Biz/Users.nix
+++ b/Biz/Users.nix
@@ -37,7 +37,7 @@ in {
       isNormalUser = true;
       home = "/home/ben";
       openssh.authorizedKeys.keys = readKeys ./Keys/Ben.pub;
-      extraGroups = [ "wheel" "docker" "bitcoind-mainnet" ];
+      extraGroups = [ "wheel" "docker" "bitcoind-mainnet" "git" ];
       hashedPassword =
         "$6$SGhdoRB6DhWe$elW8RQE1ebe8JKf1ALW8jGZTPCyn2rpq/0J8MV/A9y8qFMEhA.Z2eiexMgptohZAK5kcGOc6HIUgNzJqnDUvY.";
     };
@@ -46,7 +46,7 @@ in {
       isNormalUser = true;
       home = "/home/nick";
       openssh.authorizedKeys.keys = readKeys ./Keys/Nick.pub;
-      extraGroups = [ "docker" ];
+      extraGroups = [ "docker" "git" ];
     };
   };
 }
-- 
cgit v1.2.3