From 8139cc95fa7c14d8b87fd546ebaef7826ecc4d1b Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Fri, 25 Dec 2020 22:29:22 -0500
Subject: [PATCH] add section for utility repositories

---
 static/source.html | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/static/source.html b/static/source.html
index 4320d4be..8bfb38b9 100644
--- a/static/source.html
+++ b/static/source.html
@@ -52,8 +52,6 @@
             for an comparable overview of where issues should be filed.</p>
             <ul>
                 <li><a href="https://github.com/GrapheneOS/platform_manifest">Manifest for OS repositories</a></li>
-                <li><a href="https://github.com/GrapheneOS/tls_pinning">Utilities for setting up conservative non-leaf TLS pinning with backup pins</a></li>
-                <li><a href="https://github.com/GrapheneOS/branding_tools">Scripting for generating branding</a></li>
                 <li><a href="https://github.com/GrapheneOS/hardened_malloc">hardened_malloc</a></li>
             </ul>
             <p>The operating system source tree includes hundreds of repositories. Many of these
@@ -101,6 +99,15 @@
                     <li><a href="https://github.com/GrapheneOS/time.grapheneos.org">HTTPS time server (time.grapheneos.org)</a></li>
                 </ul>
             </section>
+
+            <section id="utilities">
+                <h2><a href="#utilities">Utilities</a></h2>
+
+                <ul>
+                    <li><a href="https://github.com/GrapheneOS/tls_pinning">Utilities for setting up conservative non-leaf TLS pinning with backup pins</a></li>
+                    <li><a href="https://github.com/GrapheneOS/branding_tools">Scripting for generating branding</a></li>
+                </ul>
+            </section>
         </main>
         <footer>
             <a href="/"><img src="/logo.png" width="512" height="512" alt=""/>GrapheneOS</a>