DGNum/infrastructure
13
6
Fork 3
Code Issues 20 Pull requests 8 Projects 1 Releases Packages Wiki Activity Actions

feat(members): Add jemagius

Browse source
This commit is contained in:
Tom Hubrecht 2023-10-04 14:34:58 +02:00
parent 8d5dfb66e3
commit 8a905aa2d5
1 changed files with 8 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
meta/members.nix
View file

@ -1,6 +1,5 @@
/* /* To add a new member add an attribute to `members`
To add a new member add an attribute to `members` Then add the key to the required groups.
Then add the key to the required groups.
*/ */
let let
members = { members = {
@ -18,6 +17,11 @@ let
name = "Ryan Lahfa"; name = "Ryan Lahfa";
email = "ryan@dgnum.eu"; email = "ryan@dgnum.eu";
}; };
jemagius = {
name = "Jean-Marc Gailis";
email = "jm@dgnum.eu";
};
}; };
groups = { groups = {
@ -32,6 +36,5 @@ let
bureau = [ "gdd" ]; bureau = [ "gdd" ];
}; };
in
{ inherit groups members; } in { inherit groups members; }