summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Micay <danielmicay@gmail.com>2020-12-25 21:49:50 -0500
committerDaniel Micay <danielmicay@gmail.com>2020-12-25 21:49:50 -0500
commit4c4644574633f00d1936ef71bede0fc2dc5d5750 (patch)
tree25f3c3b52a2bf82a57384f9de8ad5798a8e0a638
parent644eead18bf18a0362be98506913aff82e1745ed (diff)
list services repositories on source page
-rw-r--r--static/source.html16
1 files 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>