central: Add configuration for Discord bot

roles/central/default.nix

@@ -20,6 +20,12 @@ let
       rebuild_repo = "dolphin-emu/dolphin";
     };
 
+    discord = {
+      token = "!FileInclude ${config.age.secrets.central-discord-token.path}";
+      channels = [ 1320992788892094484 ];
+      privileged_role = 521711927294951439;
+    };
+
     git = {
       repos_path = "/tmp/.central-repos";
       git_path = "${pkgs.git}/bin/git";
@@ -123,6 +129,10 @@ in {
       file = ../../secrets/central-change-hook-password.age;
       owner = "central";
     };
+    age.secrets.central-discord-token = {
+      file = ../../secrets/central-discord-token.age;
+      owner = "central";
+    };
     age.secrets.gh-app-priv-key = {
       file = ../../secrets/gh-app-priv-key.age;
       owner = "central";

secrets/central-discord-token.age

@@ -0,0 +1,13 @@
+age-encryption.org/v1
+-> ssh-ed25519 QNIwVA 5BK0hCi67kCe2M1hYuB/mjH+o4piLkW3p6Ze3as4b2g
+BpxbQn/NSx/RkL/y7+2fxZAx5ZI5LcoMLX17rOd2aoA
+-> ssh-ed25519 nDu9FA DPazQejoEkduq7JbwYpg3mNdl5qFYHzpA5NzPDDIwWM
+ge8Fo2njAOZ5nbm2FTIjFgjXp+A+ihddldTnufiBKJM
+-> ssh-ed25519 tX+N9g N5o9AWatLnF+ssE9zSBcuJMyVCETnt3guTVf/7x1ZkU
+PnuF2O51P0AuQuf5LBLQa/Y2z8C1IvEKwIJtq7dnoh0
+-> ssh-ed25519 nE7g2A v419lpl+ATDoqiHdnbMKd6TWhy2jiLiKAav9aJ2CU14
+00It/OhVeh58YmMBH1/5cnFJ9HNAv8ZaPZOjl6xu4N4
+-> ssh-ed25519 eddTNw Z9to1/Iz2pw5qPA9CVZr4Xq8pdG3v605ksdssn7GQ0I
+egZqkffzxxzIs2Xk6fG8lj6PtjC8lbta9mqy9f/SnBo
+--- CgJ95GTClHrS8sFzMV7etGe+dh01ZuP1NPCz3PdaZlU
+<EFBFBD><EFBFBD>|<7C><>疔<EFBFBD>O<EFBFBD>fle<6C><65>ђ<EFBFBD><02><><EFBFBD><EFBFBD>/<2F>d<EFBFBD>o<EFBFBD><6F>e<10><>7<EFBFBD>h<EFBFBD><13><><EFBFBD>R<EFBFBD><52>2<EFBFBD>
[<5B>	,/w@<40><><EFBFBD>{hbi<62>q<1F><>L<EFBFBD><4C>}<7D><><EFBFBD>Ԓjv<6A><76><EFBFBD>*5<1F><><16><><EFBFBD>>f<><66><EFBFBD><EFBFBD><EFBFBD><EFBFBD>a5'

secrets/secrets.nix

@@ -32,6 +32,7 @@ let
     "buildbot-workers-passwords.age"
     "central-change-hook-username.age"
     "central-change-hook-password.age"
+    "central-discord-token.age"
     "container-builder-env.age"
     "discord-bot-env.age"
     "etherpad-apikey.age"