Merge pull request 'Discord: channel list and presence without the main bot (#225 S5, fixes #251)' (#262) from feat/225-s5-channels into main

2026-10-05 03:01:07 -04:00
parent 7bee87b147 a976464e72
commit c30b2ca33e
8 changed files with 746 additions and 25 deletions
@@ -50,6 +50,10 @@ export interface DiscordGuildOption {
  linked: boolean;
  synced: boolean;
  synced_at: string | null;
+  /** Who listed the channels (server-26#225 S5): the DRB server bot, or a radio bot read over REST. */
+  directory_source?: "main_bot" | "radio_bot" | null;
+  /** The DRB server bot is in this server. Not required: a radio bot alone is enough. */
+  main_bot_present?: boolean;
  voice_channels: DiscordVoiceChannel[];
  streams_on: number;
  bot: { ok: boolean; code: string | null; message: string | null; invite: DiscordInvite[] };