infrastructure/meta/organization.nix

111 lines
1.7 KiB
Nix
Raw Permalink Normal View History

/*
To add a new member add an attribute to `members`
Then add the key to the required groups.
2023-05-22 17:24:42 +02:00
*/
2024-02-23 10:50:50 +01:00
{
2023-05-22 15:06:11 +02:00
members = {
2024-05-14 23:50:20 +02:00
catvayor = {
name = "Lubin Bailly";
email = "catvayor@dgnum.eu";
username = "lbailly";
2023-05-22 15:06:11 +02:00
};
2023-05-22 17:18:57 +02:00
2024-10-11 14:38:38 +02:00
cst1 = {
name = "Constantin Gierczak--Galle";
email = "cst1@dgnum.eu";
username = "cgierczakgalle";
2024-10-11 14:38:38 +02:00
};
2024-05-14 23:50:20 +02:00
ecoppens = {
name = "Elias Coppens";
email = "ecoppens@dgnum.eu";
2023-05-22 17:18:57 +02:00
};
2023-10-04 14:34:58 +02:00
jemagius = {
name = "Jean-Marc Gailis";
email = "jm@dgnum.eu";
username = "jgailis";
2023-10-04 14:34:58 +02:00
};
2024-05-14 17:23:02 +02:00
2024-02-20 09:53:37 +01:00
luj = {
name = "Julien Malka";
email = "luj@dgnum.eu";
username = "jmalka";
2024-02-20 09:53:37 +01:00
};
2024-05-14 23:50:20 +02:00
mdebray = {
name = "Maurice Debray";
email = "maurice.debray@dgnum.eu";
};
raito = {
name = "Ryan Lahfa";
email = "ryan@dgnum.eu";
username = "rlahfa";
2024-05-14 23:50:20 +02:00
};
thubrecht = {
name = "Tom Hubrecht";
email = "tom.hubrecht@dgnum.eu";
};
2023-05-22 15:06:11 +02:00
};
groups = {
2023-05-22 17:24:42 +02:00
# members of this group are root on all nodes
root = [
"thubrecht"
"raito"
"mdebray"
2024-02-20 09:53:37 +01:00
"luj"
];
2023-06-07 14:13:36 +02:00
2024-05-14 17:23:02 +02:00
# members of this group are root on the fai infrastructure
2024-05-14 23:50:20 +02:00
fai = [
"catvayor"
"ecoppens"
];
lab = [
"catvayor"
"cst1"
"ecoppens"
];
2023-05-22 15:06:11 +02:00
};
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" ];
};
}