Add pr number as prefix

holzmaster · holzmaster · commit 872264c49589 · 2025-10-21T20:05:22.000+02:00
diff --git a/.github/config.json b/.github/config.json
@@ -19,8 +19,8 @@
     },
     "prefix": {
         // You may want to choose a prefix that does not collide with others on the test server
-        "command": ".",
-        "modCommand": "~"
+        "command": ".$PR_ID",
+        "modCommand": "~$PR_ID"
     },
     "moderatorRoleIds": ["893179190709477413"],
 
