source: move manifest to the top of the list

This commit is contained in:
Daniel Micay 2019-07-02 21:57:39 -04:00
parent 71a8e50611
commit ace81fe716

View File

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