Fix the apply panel's error/copy states, and apply a PR by URL - #142

Merged

juanmaguitar merged 3 commits into

juanmaguitar/latest-patchfrom

juanmaguitar/apply-panel-polish

Aug 7, 2026

Commits on Aug 7, 2026

Fix the apply panel's error/copy states, and apply a PR by URL

juanmaguitar
and
claude
committed
5cff08e
Rename the apply panel to 'Apply a patch or PR'

juanmaguitar
and
claude
committed
1babb84
Show only patch files in the Trac attachments list

juanmaguitar
and
claude
committed
82ee3b4