about summary refs log tree commit diff
diff options
context:
space:
mode:
authorFlorian Klink <flokli@flokli.de>2023-02-02T17·35+0100
committerclbot <clbot@tvl.fyi>2023-02-03T19·04+0000
commitc13759e89fc23af1c4ce63d09cf6192a3d119554 (patch)
tree724ba5b286f75959b767bc0b8c83d759bdbcfc21
parent459dadfe9da48801757ea66a349b983e1ab07254 (diff)
feat(corp/tvixbolt): link to tvl.su too r/5835
Make it clear that Tvixbolt is a project of TVL LLC, and link to the
community website too.

See https://b.tvl.fyi/issues/248

Change-Id: Iefefe0263fa5ef01587d49c5a130a38b78ca7981
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8019
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Autosubmit: flokli <flokli@flokli.de>
-rw-r--r--corp/tvixbolt/src/main.rs11
1 files changed, 11 insertions, 0 deletions
diff --git a/corp/tvixbolt/src/main.rs b/corp/tvixbolt/src/main.rs
index 912741847bce..0de48b3ac71e 100644
--- a/corp/tvixbolt/src/main.rs
+++ b/corp/tvixbolt/src/main.rs
@@ -44,6 +44,17 @@ fn tvixbolt_overview() -> Html {
             {"Tvix is still "}<i>{"extremely work-in-progress"}</i>{" and you "}
             {"should expect to be able to cause bugs and errors in this tool."}
           </p>
+          <p>
+            {"Tvixbolt is a project from "}
+            <a href="https://tvl.su">
+              {"TVL LLC"}
+            </a>
+            {". If you're looking for the TVL Community, click "}
+            <a href="https://tvl.fyi">
+              {"here"}
+            </a>
+            {"."}
+          </p>
         </>
     }
 }