chore(LINT-0001) fix lint errors

src/routes/repos/[id]/+page.svelte

@@ -1,4 +1,6 @@
 <script lang="ts">
+	import { goto } from '$app/navigation';
+	import { resolve as resolveRoute } from '$app/paths';
 	import type { PageData } from './$types';
 	import type { Repository, RepositoryVersion, IndexingJob } from '$lib/types';
 	import ConfirmDialog from '$lib/components/ConfirmDialog.svelte';
@@ -79,7 +81,7 @@
 				const d = await res.json();
 				throw new Error(d.error ?? 'Failed to delete repository');
 			}
-			window.location.href = '/';
+			goto(resolveRoute('/'));
 		} catch (e) {
 			errorMessage = (e as Error).message;
 		}
@@ -101,7 +103,7 @@
 </svelte:head>
 
 <div class="mb-6">
-	<a href="/" class="text-sm text-blue-600 hover:underline">← Repositories</a>
+	<a href={resolveRoute('/')} class="text-sm text-blue-600 hover:underline">← Repositories</a>
 </div>
 
 <div class="flex flex-col gap-4 sm:flex-row sm:items-start sm:justify-between">
@@ -124,7 +126,7 @@
 				<a
 					href={repo.sourceUrl}
 					target="_blank"
-					rel="noopener noreferrer"
+					rel="external noopener noreferrer"
 					class="mt-1 block text-sm text-blue-600 hover:underline"
 				>
 					{repo.sourceUrl}