feat(redirections): Add rdv -> meet

This commit is contained in:
Tom Hubrecht 2024-01-23 14:38:20 +01:00
parent aa3fd966ae
commit a6996a00ce

View file

@ -14,11 +14,12 @@ let
builtins.concatLists (builtins.attrValues (builtins.mapAttrs mkSub attrs)); builtins.concatLists (builtins.attrValues (builtins.mapAttrs mkSub attrs));
redirections = { redirections = {
"nuage.beta.rz.ens.wtf".to = "cloud.dgnum.eu";
"notion.rz.ens.wtf".to = "docs.dgnum.eu";
"docs.beta.rz.ens.wtf".to = "pads.dgnum.eu";
"calendrier.eleves.ens.fr".to = "calendrier.dgnum.eu"; "calendrier.eleves.ens.fr".to = "calendrier.dgnum.eu";
"docs.beta.rz.ens.wtf".to = "pads.dgnum.eu";
"git.rz.ens.wtf".to = "git.dgnum.eu"; "git.rz.ens.wtf".to = "git.dgnum.eu";
"notion.rz.ens.wtf".to = "docs.dgnum.eu";
"nuage.beta.rz.ens.wtf".to = "cloud.dgnum.eu";
"rdv.dgnum.eu".to = "meet.dgnum.eu";
} // (mkRetired retired); } // (mkRetired retired);
retired = mkSubs { retired = mkSubs {