Skip to content

Route deployment receipts to PR-opening threads#42

Merged
mberman84 merged 2 commits into
mainfrom
codex/route-receipts-to-pr-opening-thread-20260621
Jun 22, 2026
Merged

Route deployment receipts to PR-opening threads#42
mberman84 merged 2 commits into
mainfrom
codex/route-receipts-to-pr-opening-thread-20260621

Conversation

@mberman84

@mberman84 mberman84 commented Jun 22, 2026

Copy link
Copy Markdown
Contributor

Summary

  • bind each pull request to the trusted native thread that opened it and keep that ownership immutable
  • route deploy intent, repairs, receipt monitoring, and final deployment receipts to that opening thread even when a coordinator authorizes deployment
  • reject unowned PRs before writing deploy intent or labels instead of guessing the coordinator thread
  • reject ownership claims for nonexistent or closed PRs and exclude controller-only actors
  • release DeployBot v0.2.19 and pin runtime examples to the reviewed implementation commit

Root cause

DeployBot treated the provider and thread ID passed by the deployment-request caller as the source thread. A coordinator requesting several unrelated PRs therefore became the receipt destination for all of them.

Validation

  • 221 Python tests passed
  • Ruff passed
  • source distribution and wheel build passed
  • structured Codex autoreview clean after fixes for controller-only claims and future-PR preclaims

@mberman84
mberman84 force-pushed the codex/route-receipts-to-pr-opening-thread-20260621 branch from a4e17cd to b454381 Compare June 22, 2026 05:39
@mberman84 mberman84 changed the title [codex] Route deployment receipts to PR-opening threads Route deployment receipts to PR-opening threads Jun 22, 2026
@mberman84
mberman84 marked this pull request as ready for review June 22, 2026 05:39
@mberman84
mberman84 merged commit 563aa7e into main Jun 22, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant