From 203c8f33c3cdc26d8c03bc90ffa24aed0d538164 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Mon, 29 Mar 2021 14:36:34 -0400
Subject: [PATCH] add introduction to sources page

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

diff --git a/static/source.html b/static/source.html
index c311bb44..6aaf7f71 100644
--- 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