git: add haskell identity

This commit is contained in:
Primrose 2025-06-27 14:18:34 +02:00
parent 058ed28280
commit 9e778eaad2
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA

View file

@ -55,9 +55,10 @@
}; };
programs.git.includes = let programs.git.includes = let
universityIdentity = url: { mkIdentity = condition: contents: {inherit condition contents;};
condition = "hasconfig:remote.*.url:git@${url}:*/**"; hostCondition = url: "hasconfig:remote.*.url:git@${url}:*/**";
contents = {
universityIdentity = {
init.defaultBranch = "main"; init.defaultBranch = "main";
user = { user = {
name = "Léana CHIANG"; name = "Léana CHIANG";
@ -65,9 +66,19 @@
signingKey = "0x32035DB97E777EEB"; signingKey = "0x32035DB97E777EEB";
}; };
}; };
haskellIdentity = {
init.defaultBranch = "main";
user.name = "Léana Jiang";
}; };
in [ in [
(universityIdentity "gitlab.istic.univ-rennes1.fr") (mkIdentity
(universityIdentity "gitlab2.istic.univ-rennes1.fr") (hostCondition "gitlab.istic.univ-rennes1.fr")
universityIdentity)
(mkIdentity
(hostCondition "gitlab2.istic.univ-rennes1.fr")
universityIdentity)
(mkIdentity
(hostCondition "gitlab.haskell.org")
haskellIdentity)
]; ];
} }