/* To add a new member add an attribute to `members` Then add the key to the required groups. */ { members = { catvayor = { name = "Lubin Bailly"; email = "catvayor@dgnum.eu"; }; ecoppens = { name = "Elias Coppens"; email = "ecoppens@dgnum.eu"; }; jemagius = { name = "Jean-Marc Gailis"; email = "jm@dgnum.eu"; }; luj = { name = "Julien Malka"; email = "luj@dgnum.eu"; }; mdebray = { name = "Maurice Debray"; email = "maurice.debray@dgnum.eu"; }; raito = { name = "Ryan Lahfa"; email = "ryan@dgnum.eu"; }; thubrecht = { name = "Tom Hubrecht"; email = "tom.hubrecht@dgnum.eu"; }; }; groups = { # members of this group are root on all nodes root = [ "thubrecht" "raito" "mdebray" "luj" ]; # members of this group are root on the fai infrastructure fai = [ "catvayor" "ecoppens" ]; }; external = { dns = [ "thubrecht" "raito" ]; email = [ "raito" ]; irc = [ "raito" ]; }; services = { # Démarches Normaliennes ds-fr.admins = [ "thubrecht" "jemagius" ]; # Cloud DGNum nextcloud.admins = [ "thubrecht" "raito" ]; # Netbox DGNum netbox.adminGroups = [ "root" "fai" ]; # Videos DGNum peertube.admins = [ "thubrecht" ]; }; }