fix(github): keep merged PRs as branch history instead of hiding them

Branch status resolves an open PR across the whole fork network first, so a
merged fork PR can never hide an open upstream PR for the same head. Only when
no target has an open PR does the branch's newest closed/merged PR come back,
as history.

The panel shows that history as a compact note and offers creating the next PR
below it, instead of either sticking on a terminal PR or going blank after a
merge. Terminal associations stay persisted for reload continuity but are never
treated as authority: they revalidate on the discovery cadence and on focus.

History is looked up only for the branch's own remote and name, and remembered
per repo+branch, so the extra lookup cannot exhaust the route's resolve budget.
The checks summary and merge-permission lookup are skipped for a closed or
merged PR, where neither is actionable.

packages/ui/src/lib/i18n/messages/fr.ts

@@ -817,6 +817,8 @@ export const dict = {
   'gitView.pr.field.draft': 'Brouillon',
   'gitView.pr.field.title': 'Titre',
   'gitView.pr.githubNotConnected': 'GitHub n\'est pas connecté',
+  'gitView.pr.history.merged': 'La PR #{number} a été fusionnée dans {base}.',
+  'gitView.pr.history.closed': 'La PR #{number} a été fermée.',
   'gitView.pr.loadingDescription': 'Chargement de la description de la PR...',
   'gitView.pr.mergeMethod.merge': 'Créer un commit de fusion',
   'gitView.pr.mergeMethod.rebase': 'Rebase et fusionner',