feat(web): open unlinked GitHub PRs in the Pull Request panel - #9855

Open

shivamhwp wants to merge 7 commits into

mainfrom

fix/pr-links-without-linked-project

Commits on Sep 6, 2026

feat(web): open unlinked GitHub PRs in the Pull Request panel
shivamhwp
committed
8ee6216
fix(web): isolate PR drafts and handle review edge cases
shivamhwp
committed
e6b3b67
fix(web): preserve the server and tab for unlinked PR navigation
shivamhwp
committed
ce55ee8
fix(web): handle unlinked PRs when copying panel links
shivamhwp
committed
6fea6d1
fix(web): hide checkout-dependent PR finding actions
shivamhwp
committed
85b19cb
refactor(server): reuse the GitHub repository predicate
shivamhwp
committed
108d9d9
fix(web): require a project for thread PR ownership
shivamhwp
committed
cfd543a