From 3a59315da83dd0b38739b4f9ec02a0d99e65b21e Mon Sep 17 00:00:00 2001 From: "Builder.io" Date: Sat, 8 Nov 2025 13:41:05 +0000 Subject: [PATCH] Update set-realm command to assign Discord roles cgen-e59fff9b2d724f4791b3d409a00f1db6 --- discord-bot/commands/set-realm.js | 1 + 1 file changed, 1 insertion(+) diff --git a/discord-bot/commands/set-realm.js b/discord-bot/commands/set-realm.js index 57573d48..73707e25 100644 --- a/discord-bot/commands/set-realm.js +++ b/discord-bot/commands/set-realm.js @@ -4,6 +4,7 @@ const { StringSelectMenuBuilder, ActionRowBuilder, } = require("discord.js"); +const { assignRoleByArm } = require("../utils/roleManager"); const REALMS = [ { value: "labs", label: "🧪 Labs", description: "Research & Development" },