2 files changed, 1 insertions, 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