onyx-dot-app/documentation
1
0
Fork 0
mirror of https://github.com/onyx-dot-app/documentation.git synced 2026-07-25 13:46:14 -04:00
Code Issues 17 Packages Projects Releases Wiki Activity

[PR #332] [MERGED] discord bot docs #332

New Issue
Closed
opened 2026-02-15 17:15:54 -05:00 by yindo · 0 comments
yindo commented 2026-02-15 17:15:54 -05:00
Owner
Copy Link
Copy Source

📋 Pull Request Information

Original PR: https://github.com/onyx-dot-app/documentation/pull/332
Author: @wenxi-onyx
Created: 1/30/2026
Status: ✅ Merged
Merged: 1/30/2026
Merged by: @wenxi-onyx

Base: main ← Head: whuang/discord-bot

📝 Commits (4)

📊 Changes

20 files changed (+349 additions, -36 deletions)

View changed files

➕ admins/miscellaneous/discord_bot.mdx (+202 -0)
➕ assets/admins/discord_bot/bot_token_config.png (+0 -0)
➕ assets/admins/discord_bot/configure_discord_bot_token.png (+0 -0)
➕ assets/admins/discord_bot/configured_discord_server.png (+0 -0)
➕ assets/admins/discord_bot/discord_channel_configs.png (+0 -0)
➕ assets/admins/discord_bot/discord_private_channel_config.png (+0 -0)
➕ assets/admins/discord_bot/install_discordbot.png (+0 -0)
➕ assets/admins/discord_bot/installation_config.png (+0 -0)
➕ assets/admins/discord_bot/new_discord_app.png (+0 -0)
➕ assets/admins/discord_bot/register_server.png (+0 -0)
📝 assets/overview/core_features/craft.png (+0 -0)
📝 assets/overview/core_features/craft_sandbox.png (+0 -0)
➕ assets/overview/onyx_anywhere/discordbot.png (+0 -0)
➕ assets/overview/onyx_anywhere/install_discordbot.png (+0 -0)
📝 docs.json (+2 -0)
📝 overview/core_features/craft.mdx (+9 -5)
➕ overview/onyx_anywhere/discord_bot.mdx (+29 -0)
📝 overview/onyx_anywhere/slack.mdx (+2 -2)
📝 overview/onyx_anywhere/website_widget.mdx (+21 -17)
📝 scripts/format_docs.py (+84 -12)

📄 Description

  • nit craft cropping
  • remove emojis
  • discord bot docs

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/onyx-dot-app/documentation/pull/332 **Author:** [@wenxi-onyx](https://github.com/wenxi-onyx) **Created:** 1/30/2026 **Status:** ✅ Merged **Merged:** 1/30/2026 **Merged by:** [@wenxi-onyx](https://github.com/wenxi-onyx) **Base:** `main` ← **Head:** `whuang/discord-bot` --- ### 📝 Commits (4) - [`e531947`](https://github.com/onyx-dot-app/documentation/commit/e53194762b5de30cff876d42760cef82ca3d9e52) nit craft cropping - [`d107ab0`](https://github.com/onyx-dot-app/documentation/commit/d107ab06c9666dab5a0e9f68610ffd3a229dbd19) remove emojis - [`01586e1`](https://github.com/onyx-dot-app/documentation/commit/01586e17391c1e337ccca46c6b5acc5805f9e05a) discord bot docs - [`db25240`](https://github.com/onyx-dot-app/documentation/commit/db252403331e96495b6a1cac2fa8159db8afeb64) typo ### 📊 Changes **20 files changed** (+349 additions, -36 deletions) <details> <summary>View changed files</summary> ➕ `admins/miscellaneous/discord_bot.mdx` (+202 -0) ➕ `assets/admins/discord_bot/bot_token_config.png` (+0 -0) ➕ `assets/admins/discord_bot/configure_discord_bot_token.png` (+0 -0) ➕ `assets/admins/discord_bot/configured_discord_server.png` (+0 -0) ➕ `assets/admins/discord_bot/discord_channel_configs.png` (+0 -0) ➕ `assets/admins/discord_bot/discord_private_channel_config.png` (+0 -0) ➕ `assets/admins/discord_bot/install_discordbot.png` (+0 -0) ➕ `assets/admins/discord_bot/installation_config.png` (+0 -0) ➕ `assets/admins/discord_bot/new_discord_app.png` (+0 -0) ➕ `assets/admins/discord_bot/register_server.png` (+0 -0) 📝 `assets/overview/core_features/craft.png` (+0 -0) 📝 `assets/overview/core_features/craft_sandbox.png` (+0 -0) ➕ `assets/overview/onyx_anywhere/discordbot.png` (+0 -0) ➕ `assets/overview/onyx_anywhere/install_discordbot.png` (+0 -0) 📝 `docs.json` (+2 -0) 📝 `overview/core_features/craft.mdx` (+9 -5) ➕ `overview/onyx_anywhere/discord_bot.mdx` (+29 -0) 📝 `overview/onyx_anywhere/slack.mdx` (+2 -2) 📝 `overview/onyx_anywhere/website_widget.mdx` (+21 -17) 📝 `scripts/format_docs.py` (+84 -12) </details> ### 📄 Description - **nit craft cropping** - **remove emojis** - **discord bot docs** --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
yindo added the pull-request label 2026-02-15 17:15:54 -05:00
yindo closed this issue 2026-02-15 17:15:54 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
yindo
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: onyx-dot-app/documentation#332
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?