Skip to content

GitHub App integration + banner system, PR reconcile-on-focus, and CRR sync-host wedge fix - #887

Merged
arul28 merged 11 commits into
mainfrom
ade/lane-open-other-project-users-9ee5bfd6
Jul 23, 2026
Merged

GitHub App integration + banner system, PR reconcile-on-focus, and CRR sync-host wedge fix#887
arul28 merged 11 commits into
mainfrom
ade/lane-open-other-project-users-9ee5bfd6

Commits

Commits on Jul 23, 2026