Tom Hubrecht
e4e44dfd00
All checks were successful
Check meta / check_meta (push) Successful in 23s
Check meta / check_dns (push) Successful in 43s
build configuration / build_storage01 (push) Successful in 1m11s
build configuration / build_compute01 (push) Successful in 1m14s
build configuration / build_vault01 (push) Successful in 1m14s
build configuration / build_web02 (push) Successful in 54s
lint / check (push) Successful in 24s
build configuration / build_rescue01 (push) Successful in 52s
build configuration / build_web01 (push) Successful in 1m31s
build configuration / push_to_cache (push) Successful in 2m16s
93 lines
1.4 KiB
Nix
93 lines
1.4 KiB
Nix
/*
|
|
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" ];
|
|
};
|
|
}
|