From d51adc886f53c43e1cd283d6c95108ebe3cce3db Mon Sep 17 00:00:00 2001 From: Alejandro Nieto Date: Mon, 11 Aug 2025 23:24:32 +0200 Subject: [PATCH] Add "Open in GitHub" button for GitHub diffs --- web/src/routes/FileHeader.svelte | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/web/src/routes/FileHeader.svelte b/web/src/routes/FileHeader.svelte index c66aee9..500f30b 100644 --- a/web/src/routes/FileHeader.svelte +++ b/web/src/routes/FileHeader.svelte @@ -1,7 +1,7 @@ @@ -84,6 +94,13 @@ } } /> + + Open in GitHub +