From 16823d075ccd2f07f282c66b601ad4af44d5f1fa Mon Sep 17 00:00:00 2001
From: Vincent Ambo <mail@tazj.in>
Date: Mon, 20 Jul 2020 00:54:37 +0100
Subject: [PATCH] feat(todolist): Add anchors for each user on the page

This makes it possible to link to the TODOs for a specific user on https://todo.tvl.fyi.

Change-Id: Ibcb43235be187265cda55776582d043a84c96ead
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1301
Reviewed-by: ericvolp12 <ericvolp12@gmail.com>
Tested-by: BuildkiteCI
---
 web/todolist/default.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/web/todolist/default.nix b/web/todolist/default.nix
index 187830e73..8a12d0121 100644
--- a/web/todolist/default.nix
+++ b/web/todolist/default.nix
@@ -63,7 +63,11 @@ let
   let user = (head todos).user;
   in ''
     <p>
-      <h3>${user}</h3>
+      <h3>
+        <a style="color:inherit; text-decoration: none;"
+           name="${user}"
+           href="#${user}">${user}</a>
+      </h3>
       ${concatStringsSep "\n" (map todoElement todos)}
     </p>
     <hr>