Skip to content

Release DeployBot v0.2.10 - #33

Merged
mberman84 merged 6 commits into
mainfrom
codex/fix-deploybot-v0210-20260621
Jun 21, 2026
Merged

mberman84 merged 6 commits into
mainfrom
codex/fix-deploybot-v0210-20260621

Conversation

@mberman84

Copy link
Copy Markdown
Contributor

Summary

  • revalidate durable merge authorization immediately before merge
  • preserve bounded overlap scheduling for genuine repair heads without making them merge-eligible
  • correct the documented follow action default and release pins

Verification

  • 162 tests and 158 subtests pass
  • Ruff passes
  • source and wheel packages build
  • structured autoreview found no actionable issues

@mberman84
mberman84 marked this pull request as ready for review June 21, 2026 16:46
@mberman84
mberman84 merged commit 419adc2 into main Jun 21, 2026
3 checks passed
@mberman84
mberman84 deleted the codex/fix-deploybot-v0210-20260621 branch June 21, 2026 16:47
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