From fe2a1f035ca7835bac197e6d727026e5e211172e Mon Sep 17 00:00:00 2001
From: sterni <sternenseemann@systemli.org>
Date: Fri, 24 Jan 2025 14:27:27 +0100
Subject: [PATCH] fix(web/todolist): generate links to code.tvl.fyi

Change-Id: I4116eedcebcedf44594e160d580d8840914d2537
Reviewed-on: https://cl.tvl.fyi/c/depot/+/13045
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
---
 web/todolist/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/todolist/default.nix b/web/todolist/default.nix
index 4712ad21b..f79d92fe1 100644
--- a/web/todolist/default.nix
+++ b/web/todolist/default.nix
@@ -48,7 +48,7 @@ let
 
   fileLink = defun [ todo string ] (t:
     ''<a style="color: inherit;"
-         href="https://cs.tvl.fyi/depot/-/blob/${t.file}#L${toString t.line}">
+         href="https://code.tvl.fyi/tree/${t.file}#n${toString t.line}">
       //${t.file}:${toString t.line}</a>'');
 
   todoElement = defun [ todo string ] (t: ''
@@ -105,7 +105,7 @@ writeTextFile {
         <p class="footer">
           <a class="uncoloured-link" href="https://tvl.fyi">homepage</a>
           |
-          <a class="uncoloured-link" href="https://cs.tvl.fyi/depot/-/blob/README.md">code</a>
+          <a class="uncoloured-link" href="https://code.tvl.fyi/about/README.md">code</a>
           |
           <a class="uncoloured-link" href="https://cl.tvl.fyi">reviews</a>
         </p>