Repository navigation

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

Closed

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