Recent history with branch topology for this repository.
Fix update branch permission data flow
github style update branch. When a PR is behind and the merge is clean, you can merge the target tip into the source branch from the PR page
Merge remote-tracking branch 'origin/main' into fix/repository-toolbar-progressive-blur
Merge remote-tracking branch 'origin/main' into fix/workbench-selected-tab-icons
Merge remote-tracking branch 'origin/main' into feat/dedicated-settings-page
Merge remote-tracking branch 'origin/main' into feat/in-app-product-feedback
Merge remote-tracking branch 'origin/main' into feat/rail-chrome-and-landing
refactor(ui): draw the real GitHub mark instead of a fork glyph IconBrandGithub was an alias for the codeFork icon, so every place asking for GitHub's logo rendered a fork. The mark uses currentColor so it works on the themed and tinted backgrounds a badge or button can sit on.
feat(web): add GitHub sync tables and external identity columns Installations, repository links, entity and ref links, webhook events, the job queue, conflicts and write denials, plus the shadow identity columns on user_profiles. All three migrations land together because schema.ts defines them in one file, so splitting them would leave a commit whose schema and migrations disagree.