From ace81fe716504a821015b2121ac4db0bea506ce2 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Tue, 2 Jul 2019 21:57:39 -0400
Subject: [PATCH] source: move manifest to the top of the list

---
 static/source.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/source.html b/static/source.html
index 51313a16..0eb3d5ee 100644
--- a/static/source.html
+++ b/static/source.html
@@ -45,11 +45,11 @@
             <a href="https://github.com/GrapheneOS">GrapheneOS organization on GitHub</a>. Since
             there are many repositories, this page aims to provide a guide for it.</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 managing branding</a></li>
-                <li><a href="https://github.com/GrapheneOS/platform_manifest">Manifest for OS repositories</a></li>
             </ul>
             <p>The operating system source tree includes hundreds of repositories. Many of these
             are only used for debugging, testing or development and are not actually part of what