red-discordbot: init #270

Merged
cswimr merged 3 commits from modules/red-discordbot/init into main 2026-08-01 08:59:14 -04:00
Owner

Adds a module for Red-DiscordBot. This uses Docker because Red is a PITA to package. Dashboard integration is also included, although it doesn't initialize the dashboard cog on the Red instance. Maybe in the future it will.

Adds a module for Red-DiscordBot. This uses Docker because Red is a PITA to package. Dashboard integration is also included, although it doesn't initialize the dashboard cog on the Red instance. Maybe in the future it will.
cswimr self-assigned this 2026-08-01 08:55:29 -04:00
red-discordbot: simplify some conditional checks
Some checks failed
Actions / Build Flake Packages & Push to Cache (pull_request) Has been cancelled
157ae86408
cswimr force-pushed modules/red-discordbot/init from 157ae86408
Some checks failed
Actions / Build Flake Packages & Push to Cache (pull_request) Has been cancelled
to 90cfcaf842
All checks were successful
Actions / Build Flake Packages & Push to Cache (pull_request) Successful in 2m51s
2026-08-01 08:55:43 -04:00
Compare
cswimr scheduled this pull request to auto merge when all checks succeed 2026-08-01 08:58:57 -04:00
cswimr merged commit 34782df797 into main 2026-08-01 08:59:14 -04:00
cswimr deleted branch modules/red-discordbot/init 2026-08-01 08:59:14 -04:00
cswimr referenced this pull request from a commit 2026-08-01 08:59:16 -04:00
Sign in to join this conversation.
No description provided.