summaryrefslogtreecommitdiff
path: root/static
diff options
context:
space:
mode:
authorDaniel Micay <danielmicay@gmail.com>2019-07-09 16:36:13 -0400
committerDaniel Micay <danielmicay@gmail.com>2019-07-09 16:36:13 -0400
commit59084e68bcf3771c417fcf22666300b4599d280a (patch)
tree71f4e0f75e54c2f386449b1ab697eed726bd1acc /static
parent82d840fda73d2ba30aa81d5c7a2b1dce6f5f8fea (diff)
link to reporting issues section from source page
Diffstat (limited to 'static')
-rw-r--r--static/source.html4
1 files changed, 3 insertions, 1 deletions
diff --git a/static/source.html b/static/source.html
index 4b93e77a..628975e8 100644
--- a/static/source.html
+++ b/static/source.html
@@ -43,7 +43,9 @@
</h1>
<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.</p>
+ there are many repositories, this page aims to provide a guide for it. See the
+ <a href="/contact#reporting-issues">reporting issues section on the contact page</a>
+ 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>