From 0007969387edbf4de0eff5f6e2299c9c83a415b0 Mon Sep 17 00:00:00 2001
From: Hipposgrumm <hipposgrumm@gmail.com>
Date: Sat, 31 May 2025 19:01:31 -0600
Subject: [PATCH] Accidentally pushed my own discord settings. Here's some
 defaults.

---
 src/appsettings.json | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/appsettings.json b/src/appsettings.json
index 8d4203e..8c97d4b 100644
--- a/src/appsettings.json
+++ b/src/appsettings.json
@@ -82,15 +82,15 @@
     "// How To Get IDs": "The below options require IDs used by Discord's API. You can find these by enabling developer mode (User Settings > Advanced > Developer Mode) and then right clicking the thing and select 'Copy ____ ID' (bottom-most option).",
 
     "// Server": "This is the ID of the server the bot will operate in. Make sure the bot is in this server.",
-    "Server": 846864309454897214,
+    "Server": 000000000000000000,
     "// Channel": "This is the ID of the channel that the bot logs activity and accepts moderation commands. Make sure the bot has access to this channel.",
-    "Channel": 1130548490041303070,
+    "Channel": 000000000000000000,
 
     "// RoleModerator": "ID of the role that will be moderator. This role can perform moderative actions such as muting and banning players.",
-    "RoleModerator": 1378174063599550554,
+    "RoleModerator": 000000000000000000,
 
     "// RoleAdmin": "ID of the role that will be admin. This role can perform dangerous actions and moderative actions.",
-    "RoleAdmin": 1378174063599550554,
+    "RoleAdmin": 000000000000000000,
 
     "// Merges": "Merge multi-zone rooms into one channel.",
     "Merges": {