PRs: keep merged pull requests after their lane is deleted - #988

Merged

arul28 merged 4 commits into

mainfrom

ade/pr-merged-lane-mapping

Aug 1, 2026

Commits on Jul 31, 2026

feat(prs): keep merged PRs after their lane is deleted

arul28
and
claude
committed
d56fbb4
chore: re-trigger CI

arul28
and
claude
committed
7d0843b

Commits on Aug 1, 2026

Merge remote-tracking branch 'origin/main' into ade/pr-merged-lane-mapping
arul28
committed
59668cc
test(ios): prove pull_requests changesets with the new columns apply

arul28
and
claude
committed
14a7e99