summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorKai Stevenson <kai@kaistevenson.com>2022-11-16 12:33:42 -0800
committerKai Stevenson <kai@kaistevenson.com>2022-11-16 12:33:42 -0800
commit0c2a1c141aee24a2bcac63ba1332b2577c55dd34 (patch)
tree041a9f1e44bb94e371bf1e1f17bbaeccaccf8f22 /src
parent96035d15d2916ccbea25554fe9cffb73f5737dc0 (diff)
added more info about my git server and removed mirror from updatesite.sh
Diffstat (limited to 'src')
-rw-r--r--src/programming/index.php2
1 files changed, 1 insertions, 1 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"); ?>