From 4c4644574633f00d1936ef71bede0fc2dc5d5750 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Fri, 25 Dec 2020 21:49:50 -0500
Subject: [PATCH] list services repositories on source page

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

diff --git a/static/source.html b/static/source.html
index ae490a0b..2d001d36 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/grapheneos.org">Website repository</a></li>
-                <li><a href="https://github.com/GrapheneOS/releases.grapheneos.org">Update server repository</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>
             </ul>
@@ -77,6 +75,20 @@
             for the Auditor and AttestationServer sources. The latest release of the Auditor app
             is included in the GrapheneOS source tree as a prebuilt since it uses a different
             build system, similar to other prebuilts like Vanadium.</p>
+
+            <section id="services">
+                <h2><a href="#services">Services</a></h2>
+
+                <ul>
+                    <li><a href="https://github.com/GrapheneOS/infrastructure">Server infrastructure</a></li>
+                    <li><a href="https://github.com/GrapheneOS/AttestationServer">AttestationServer (attestation.app)</a></li>
+                    <li><a href="https://github.com/GrapheneOS/grapheneos.org">grapheneos.org</a></li>
+                    <li><a href="https://github.com/GrapheneOS/releases.grapheneos.org">Update server (releases.grapheneos.org)</a></li>
+                    <li><a href="https://github.com/GrapheneOS/grapheneos.network">Connectivity check server (grapheneos.network)</a></li>
+                    <li><a href="https://github.com/GrapheneOS/mail.grapheneos.org">Mail server (mail.grapheneos.org)</a></li>
+                    <li><a href="https://github.com/GrapheneOS/time.grapheneos.org">HTTPS time server (time.grapheneos.org)</a></li>
+                </ul>
+            </section>
         </main>
         <footer>
             <a href="/"><img src="/logo.png" width="512" height="512" alt=""/>GrapheneOS</a>