From 94769ec9dbc7254a0fed7020bb801554920c62ee Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Thu, 25 Apr 2019 23:46:26 -0400
Subject: [PATCH] add sources for miscellaneous scripting

---
 static/source.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/static/source.html b/static/source.html
index 9d7b7512..f67aa882 100644
--- a/static/source.html
+++ b/static/source.html
@@ -24,7 +24,9 @@
                 <li><a href="https://github.com/GrapheneOS/os_issue_tracker">OS issue tracker</a></li>
                 <li><a href="https://github.com/GrapheneOS/grapheneos.org">Website repository and issue tracker</a></li>
                 <li><a href="https://github.com/GrapheneOS/seamlessupdate.app">Update server repository and issue tracker</a></li>
-                <li><a href="https://github.com/GrapheneOS/platform_manifest">Manifest for repositories</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/platform_manifest">Manifest for OS repositories</a></li>
             </ul>
         </div>
     </body>