From 87fb1271bffad3f3a464bad8eaf3fe4854893e32 Mon Sep 17 00:00:00 2001
From: Janus Troelsen <ysangkok@gmail.com>
Date: Sun, 20 Jul 2025 12:50:53 -0600
Subject: [PATCH] Make github link go to idris-lang org, not edwinb

If this codebase is deployed, links should go to this codebase, instead of the repo it was forked from.
---
 src/notmyidea-cms/templates/base.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/notmyidea-cms/templates/base.html b/src/notmyidea-cms/templates/base.html
index c8a4a6b..bd64480 100644
--- a/src/notmyidea-cms/templates/base.html
+++ b/src/notmyidea-cms/templates/base.html
@@ -89,7 +89,7 @@ <h2>Social</h2>
         <footer id="footer" class="body">
                 <address id="about" class="vcard body">
                 Proudly powered by <a href="http://alexis.notmyidea.org/pelican/">Pelican</a>, which takes great advantage of <a href="http://python.org">Python</a> (not Idris :)).
-                Patches are welcome on <a href="https://github.com/edwinb/idris-lang.org/">github</a>!
+                Patches are welcome on <a href="https://github.com/idris-lang/idris-lang.github.io">github</a>!
                 </address><!-- /#about -->
 
                 <p>The theme is «notmyidea-cms», a modified version of «notmyidea», the default theme.</p>