Pull requests: Match GitHub's list layout

[whereareiam]

The pull request list still followed GitHub's earlier layout. This gives it the same layout as the issue list.

Changes

• Sidebar: the pull request list gets the issue list's sidebar. It holds the saved filters that were in the Filters menu (pull requests, assigned to me, created by me, mentioned, review requested, recent activity) and the Milestones, All states, Search syntax and Labels links. It collapses the same way and remembers its state separately from the issue list.
• Heading row: "All pull requests" (or the active filter's name) with the New pull request button, instead of one row holding Filters, search, Labels/Milestones and New.
• Search: a full-width field below the heading, using the shared search component.
• List header: "Open" and "Closed" with counters and no icons; Author is the first filter.
• Empty state: both lists use a new theme-empty-compact variant of the shared empty state, which is GitHub's compact block: a 24px muted icon, a 20px/32.5px heading and one muted 14px line with 32px of padding (about 150px tall, GitHub's is 152px). It was 296px tall with a 24px heading on the pull request list. The pull request heading reads "No pull requests matched your search", as on GitHub; the issue list keeps Forgejo's translated "No results" and gains the icon.
• Shared code: both lists use one sidebar template and one stylesheet block. pull_list.ts is removed, along with the rules written for the old search markup (about 250 lines).

Row content is Forgejo's own and unchanged: the bulk-selection checkboxes, the "#10 opened 2 days ago by sam" wording, the target branch, and the check result after the title.

Comparison

At 1456px in dark mode, in the dev preview (acme/webapp/pulls).

Element	Before	After
Sidebar	none	filters and pages, as on the issue list
Rows above the list	one: Filters + search + Labels/Milestones + New	heading + New, then search
Search field	joined to the Filters button	full width, trailing search button
Open / Closed	"2 Open", "2 Closed" with icons	"Open 2", "Closed 2" with counters
First filter	Label	Author

Reference: github.com/cli/cli/pulls viewed signed out shows the heading row, the full-width search and the counters, but no sidebar; its issue list does have one. The sidebar here follows the issue list and was not checked against a signed-in GitHub view.

Before and after screenshots were captured but are not attached: no signed-in browser was available to upload them.

Checks

• Tests, type check and formatting pass (402 tests).
• Dev preview (http://localhost:3000, Forgejo 16.0.3): open and closed lists, each saved filter view, the empty pull request and issue lists on alex/notes, a search with no results, and a 500px viewport with the sidebar collapsed. Apart from its empty state, the issue list is pixel-identical before and after.

🤖 Generated with Claude Code