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

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

arul28 merged 11 commits into

mainarul28/ADE:mainfrom

ade/lane-open-other-project-users-9ee5bfd6arul28/ADE:ade/lane-open-other-project-users-9ee5bfd6Copy head branch name to clipboard