Skip to content

docs: comprehensive Discord guide (rename + extend discord-bot-howto.md)#458

Merged
thepagent merged 1 commit intomainfrom
docs/discord-guide
Apr 19, 2026
Merged

docs: comprehensive Discord guide (rename + extend discord-bot-howto.md)#458
thepagent merged 1 commit intomainfrom
docs/discord-guide

Conversation

@thepagent
Copy link
Copy Markdown
Collaborator

Description

Renames docs/discord-bot-howto.md to docs/discord.md and extends it from a basic setup guide to a comprehensive Discord reference.

New sections:

Also updates the README link from discord-bot-howto.md to discord.md.

References: #420, #440, #441, #455, #457

…config guide

Covers: config reference, @mention behavior (user vs role), thread behavior,
multi-bot setup, bot-to-bot communication, Helm values, and troubleshooting.

References: #420, #440, #441, #455, #457
@thepagent thepagent added the documentation Improvements or additions to documentation label Apr 19, 2026
@github-actions github-actions bot added the closing-soon PR missing Discord Discussion URL — will auto-close in 3 days label Apr 19, 2026
@github-actions
Copy link
Copy Markdown

⚠️ This PR is missing a Discord Discussion URL in the body.

All PRs must reference a prior Discord discussion to ensure community alignment before implementation.

Please edit the PR description to include a link like:

Discord Discussion URL: https://discord.com/channels/...

This PR will be automatically closed in 3 days if the link is not added.

@thepagent thepagent merged commit 6887db6 into main Apr 19, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

closing-soon PR missing Discord Discussion URL — will auto-close in 3 days documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant