Skip to content

fix(discord): keep multibot threads responsive during long-running tasks#1437

Open
pahud wants to merge 1 commit into
mainfrom
fix/1436-discord-multibot-clean
Open

fix(discord): keep multibot threads responsive during long-running tasks#1437
pahud wants to merge 1 commit into
mainfrom
fix/1436-discord-multibot-clean

Conversation

@pahud

@pahud pahud commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator

Summary

Fixes #1436 — Discord multibot threads stay responsive while a long-running task is executing.

This is a clean cherry-pick of f960c72 (authored by the bot on fix/1436-discord-multibot-responsiveness). That original branch was cut from a stale base and carried 19 unrelated oabctl refactor commits (17 extra files), so it was not suitable for review as-is. This branch is origin/main + the single fix commit (3 files: crates/openab-core/src/adapter.rs, crates/openab-core/src/discord.rs, src/main.rs).

Why the bot couldn't open this PR

gh pr create falls through the obk shim to the real, unauthenticated gh (bots hold no long-lived GitHub credentials since 2026-07-21). PR creation for B0 must go through the GitHub MCP create_pull_request tool instead.

Testing

Delegating validation to PR CI; the fix commit is unmodified from the bot's tested branch.

@pahud
pahud requested a review from thepagent as a code owner July 22, 2026 21:53
@openab-app openab-app Bot added the closing-soon PR missing Discord Discussion URL — will auto-close in 24 hours. label Jul 22, 2026
@openab-app

openab-app Bot commented Jul 22, 2026

Copy link
Copy Markdown
Contributor

Caution

This PR is missing a Discord Discussion URL in the body.
This PR will be automatically closed in 24 hours if the link is not added.

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/...

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 24 hours.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

bug(multibot): keep Discord threads responsive during long-running tasks

2 participants