From 945c413abf1f0862472a81bdedc3004b5344886b Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mtg@gnu.org>
Date: Thu, 13 Feb 2020 21:29:41 -0500
Subject: [PATCH] GNU Social -> Mastodon link in header

Over the past year, my GNU Social timeline has gone almost completely
silent; it seems that many people have moved to Mastodon and maybe those
instances have stopped federating.

Further, GNU Social development has been stalled for a long time.

So this seems like an inevitable decision to give Mastodon a try.  I'll
start by following people and will post both on here and GNU Social
initially.  See https://social.mikegerwitz.com.
---
 src/header.tpl.htm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/header.tpl.htm b/src/header.tpl.htm
index 77b7cbc..4660a5e 100644
--- a/src/header.tpl.htm
+++ b/src/header.tpl.htm
@@ -24,7 +24,7 @@
           <li><a href="/talks">Talks</a></li>
           <li><a href="/projects">Projects</a></li>
           <li><a href="/papers">Papers</a></li>
-          <li><a href="//social.mikegerwitz.com/" title="My GNU Social Instance">Social</a></li>
+          <li><a href="//mastodon.mikegerwitz.com/" title="My Mastodon Instance">Social</a></li>
         </ul>
       </nav>
     </header>