v0.7.10 was published 2026-10-19T17:41:25Z as the GitHub Release v0.7.10 (release task: Issue #1803).
Tag state (verified against origin)
Release notes
Changelog
Bug fixes
- A merge that landed while GitHub never marked the PR merged also closes the Issue (Issue #1801; PR #1805)
- The merge gate’s landed verdict is used once; a later failed read cannot fail a landed merge (Issue #1802; PR #1804)
Contributors
- tag:
v0.7.10 - release commit:
847a453e9910e057f0f20a29972f315bff062686 - release task: Issue #1803
Tests
- release tests gated by GitHub Actions CI on the release commit 847a453e9910e057f0f20a29972f315bff062686 (the #268 CI-wait gate; no local test execution)