link to reporting issues section from source page

This commit is contained in:
Daniel Micay 2019-07-09 16:36:13 -04:00
parent 82d840fda7
commit 59084e68bc

View File

@ -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>