commit - 8a3bec876f7ac9265b1a706b2c507fa8e4d0a7f1
commit + e3da4e15dfa82d1ee06bcda61c6cf8f777c99215
blob - 8c6639c6de1f189a08992fe74056df8671749ff5
blob + a6f983fd2c87c891b212f3f82f99a1fb4aeac6bb
--- index.html
+++ index.html
@@ -93,27 +93,34 @@
     repositories:
     </p>
     <pre>
-    repository "public_repo_a" {
+    repository "vmm_clock" {
       permit rw flan_hacker
+      head master
     }
-    repository "public_repo_b" {
+    repository "virtio_vmmci" {
       permit rw flan_hacker
       permit ro anonymous
+      head master
     }
-    repository "private_repo_c" {
+    repository "private_repo" {
       permit rw flan_hacker
     }
     </pre>
     <p>
     Just like with the <em>gotsys</em> repository, three new repositories are
     declared that can be read and written to by the <em>flan_hacker</em> user.
-    The repository <em>public_repo_b</em> also allows the <em>anonymous</em>
+    The repository <em>virtio_vmmci</em> also allows the <em>anonymous</em>
     user to clone it, but not to send new changes to it, as it is declared with
     the <b>ro</b> mode (read-only). Repositories that are readable by the
     <em>anonymous</em> user will include a clone url in the summary of the
     repository when browsing it with a web browser.
     </p>
     <p>
+    The <b>head</b> directive is used for both public repos to point the
+    repository's symbolic HEAD reference at the <em>master</em> branch, which
+    would otherwise point to the default <em>main</em> branch.
+    </p>
+    <p>
     It is worth noting that there is currently no way to rename or delete
     repositories via
     <a href="https://gameoftrees.org/gotsys.conf.5.html">gotsys.conf(5)</a>.
@@ -231,10 +238,10 @@
       site owner "Vmm Hacker"
       permit anonymous
       hide repositories on
-      repository "public_repo_a" {
+      repository "vmm_clock" {
         hide repository off
       }
-      repository "public_repo_b" {
+      repository "virtio_vmmci" {
         hide repository off
       }
     }
@@ -248,7 +255,7 @@
       site owner "Vmm Hacker"
       permit anonymous
       hide repositories off
-      repository "private_repo_c" {
+      repository "private_repo" {
         hide repository on
       }
     }