From 67a77b18970362f840559ad5239e8254a90ecfc2 Mon Sep 17 00:00:00 2001
From: fr33domlover <fr33domlover@riseup.net>
Date: Sun, 5 May 2019 11:36:10 +0000
Subject: [PATCH] In layout header, link to federation status info page

---
 src/Vervis/Foundation.hs        | 4 ++++
 src/Vervis/Handler/Home.hs      | 2 +-
 templates/default-layout.hamlet | 4 +---
 3 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/Vervis/Foundation.hs b/src/Vervis/Foundation.hs
index 7897063..21c3b44 100644
--- a/src/Vervis/Foundation.hs
+++ b/src/Vervis/Foundation.hs
@@ -223,6 +223,10 @@ instance Yesod App where
             setTitle $ toHtml $
                 T.intercalate " → " (map snd bcs) <> " → " <> title
             let instanceHost = appInstanceHost $ appSettings master
+                federationPage :: Text
+                federationPage =
+                    "https://dev.angeley.es\
+                    \/s/fr33domlover/r/vervis/s/FEDERATION.md"
             $(widgetFile "default-layout")
         withUrlRenderer $(hamletFile "templates/default-layout-wrapper.hamlet")
 
diff --git a/src/Vervis/Handler/Home.hs b/src/Vervis/Handler/Home.hs
index 9ab4a08..3fd7692 100644
--- a/src/Vervis/Handler/Home.hs
+++ b/src/Vervis/Handler/Home.hs
@@ -1,6 +1,6 @@
 {- This file is part of Vervis.
  -
- - Written in 2016 by fr33domlover <fr33domlover@riseup.net>.
+ - Written in 2016, 2019 by fr33domlover <fr33domlover@riseup.net>.
  -
  - ♡ Copying is an act of love. Please copy, reuse and share.
  -
diff --git a/templates/default-layout.hamlet b/templates/default-layout.hamlet
index 9d881cd..e88ccf3 100644
--- a/templates/default-layout.hamlet
+++ b/templates/default-layout.hamlet
@@ -30,9 +30,7 @@ $nothing
     <a href=@{AuthR newAccountR}>Sign up.
 
 <p>
-  UPDATE: Federation is coming! You can <a href=@{PublishR}>publish</a>
-  activities, and see results in the destination server's
-  <a href=@{InboxR}>inbox</a> report page!
+  Federation status: See <a href="#{federationPage}">here</a>!
 
 <.instance>
   Vervis @ #{instanceHost}