From d870d1a38395a928fd2b9c04350572125f828a96 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Sat, 27 Apr 2019 08:57:28 -0400
Subject: [PATCH] link to manifest release tags on releases page

---
 static/releases.html | 2 +-
 static/releases.js   | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/static/releases.html b/static/releases.html
index 1dc3b6f5..9b1c8072 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -27,7 +27,7 @@
             <div id="stable"></div>
             <h2>Beta channel</h2>
             <div id="beta"></div>
-            <script src="/releases.js"></script>
+            <script src="/releases.js?0"></script>
         </div>
     </body>
 </html>
diff --git a/static/releases.js b/static/releases.js
index d5ba5082..01ab1b22 100644
--- a/static/releases.js
+++ b/static/releases.js
@@ -45,6 +45,7 @@ for (const channel of channels) {
             const dateString = date.toISOString().replace("T", " ").replace("Z", "").split(".")[0];
 
             const baseUrl = "https://seamlessupdate.app/";
+            const versionBaseUrl = "https://github.com/GrapheneOS/platform_manifest/releases/tag/";
 
             const factoryFilename = device + "-factory-" + metadata[0] + ".zip";
             const factoryUrl = baseUrl + factoryFilename;
@@ -63,8 +64,10 @@ for (const channel of channels) {
             header.appendChild(document.createTextNode(model));
             release.appendChild(header);
 
+            const tag = metadata[2] + "." + metadata[0]
             const version = document.createElement("p");
-            version.appendChild(document.createTextNode("Version: " + metadata[2] + "." + metadata[0]));
+            version.appendChild(document.createTextNode("Version: "));
+            version.appendChild(createLink(versionBaseUrl + tag, tag));
             release.appendChild(version);
 
             release.appendChild(createLink(factoryUrl, factoryFilename));