From 0c2a1c141aee24a2bcac63ba1332b2577c55dd34 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Wed, 16 Nov 2022 12:33:42 -0800
Subject: added more info about my git server and removed mirror from
 updatesite.sh

---
 src/programming/index.php | 2 +-
 updatesite                | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/programming/index.php b/src/programming/index.php
index 8898327..1a29dbb 100644
--- a/src/programming/index.php
+++ b/src/programming/index.php
@@ -4,6 +4,6 @@ require($_SERVER["DOCUMENT_ROOT"] . "/head.php");
 require($_SERVER["DOCUMENT_ROOT"] . "/header.php");
 ?>
 <p>
-   My repos (including some notes) are at aberrantflux.xyz/cgit. I also have some stuff at github.com/kaistevenson.
+   My repositories (including some notes) are at aberrantflux.xyz/cgit. I also have some stuff at github.com/kaistevenson. The repo for this site is <a href=aberrantflux.xyz/cgit/aberrantflux-site.git>aberrantflux.xyz/cgit/aberrantflux-site.git</a> if you want to get a little meta. I use cgit to serve my repositories over HTTP, and otherwise use SSH.
 </p>
 <?php require($_SERVER["DOCUMENT_ROOT"] . "/footer.php"); ?>
diff --git a/updatesite b/updatesite
index f7d2e95..5640840 100755
--- a/updatesite
+++ b/updatesite
@@ -7,4 +7,3 @@ fi
 git add .
 git commit -m "$1"
 git push origin
-git push mirror
-- 
cgit v1.2.3-70-g09d2