PR card: branch-chip menu has "Open branch in GitHub" but no "Open PR in GitHub"

Summary

When a pull-request card/widget is shown in the Claude Code app, opening the context menu on the branch-name chip offers only:

• Copy branch name
• Open branch in GitHub
• Open in terminal

"Open branch in GitHub" opens the branch tree view (…/tree/<branch>), which is correct for a branch link. But there is no option to open the associated pull request (…/pull/<number>) — even though the card clearly knows the PR (it displays #<number>, the +x −y diff stats, and a CI status pill).

On a PR-context card, the PR page is what you want to open the large majority of the time, so the current menu makes the common action impossible from that chip.

Steps to reproduce

1. In the Claude Code app, have a PR card/widget open (one tied to an open GitHub PR).
2. Click the branch-name chip to open its context menu.
3. Click Open branch in GitHub.

Actual

Opens the branch tree:

https://github.com/OWNER/REPO/tree/<branch>

Expected

For a PR card there should be a way to open the pull request:

https://github.com/OWNER/REPO/pull/<number>

Ideally one or both of:

• the context menu includes an "Open pull request in GitHub" entry, and/or
• clicking the #<number> header on the card opens the PR directly.

Notes

• "Open branch in GitHub" itself behaves as labeled — the gap is the missing PR affordance on a PR-context card, not a wrong URL.
• Environment: Claude Code desktop app on macOS.