feat(web): unlink a pull request by right-clicking its number - #11900

Open

ElliotDrel wants to merge 5 commits into

pingdotgg:mainfrom

ElliotDrel:feat/unlink-pr-from-badge

Commits on Sep 15, 2026

feat(web): unlink a pull request by right-clicking its number

ElliotDrel
and
claude
committed
3260b22
feat(web): give the thread's pull request its own header button

ElliotDrel
and
claude
committed
d8ef6fa
refactor(web): drop the composer's pull request badge

ElliotDrel
and
claude
committed
3b5728e
fix(web): stop the git hint naming a button that may not be there

ElliotDrel
and
claude
committed
b88406d
fix(web): name the pull request the unlink menu will drop

ElliotDrel
and
claude
committed
c218e5a