Repository · Merge safety
Post-merge verification
After every merge the platform re-checks that main (or the PR's base) actually holds what a correct merge would leave there: the previous tip is still an ancestor, the PR head is in, the tree matches what git computes, and the objects exist. Merged PRs from before this verifier existed show as not verified — recompute one to check it now.
0verified
0failed
1not verified
| PR | Base | Merged | Verification | Detail |
|---|---|---|---|---|
| #4802 Add download and installation instructions to README | main | 2026-03-30 | not verified | merged before verification existed |
Showing the last 1 merged pull requests. Verdicts are audit-log rows (merge.verified / merge.verification_failed) — immutable, written by the merge path itself. A recompute on an older merge runs in historical mode: it checks the merge commit is still reachable from the current base tip rather than that the tip is the merge commit.