add introduction to sources page

2021-03-29 14:36:34 -04:00 · 2021-03-29 14:36:34 -04:00 · 203c8f33c3
commit 203c8f33c3
parent f7c5e7faf9
1 changed files with 2 additions and 0 deletions
--- a/static/source.html
+++ b/static/source.html
@ -49,6 +49,8 @@
        <main id="source">
            <h1><a href="#source">Source code</a></h1>

+            <p>GrapheneOS is an open source project with an open development process.</p>
+
            <p>The GrapheneOS sources are hosted in the
            <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. See the