From c380f45efd642431ad81ae25758ab1a9f954b865 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 12 Jun 2018 13:31:10 +0200
Subject: buildmaster/gpg-keys.php: add link to pgp.mit.edu

---
 buildmaster/gpg-keys.php | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/buildmaster/gpg-keys.php b/buildmaster/gpg-keys.php
index 56e7801..b506b0c 100644
--- a/buildmaster/gpg-keys.php
+++ b/buildmaster/gpg-keys.php
@@ -37,9 +37,11 @@ show_warning_on_offline_slave();
         }
       }
       print "<tr>";
-      print "<td>".$row["person"]."</td>";
-      print "<td>".$row["action"]."</td>";
-      print "<td>".$row["fingerprint"]."</td>";
+      print "<td>" . $row["person"] . "</td>";
+      print "<td>" . $row["action"] . "</td>";
+      print "<td><a href=\"http://pgp.mit.edu/pks/lookup?op=get&search=0x" .
+        substr($row["fingerprint"],-16) .
+        "\">" . $row["fingerprint"] . "</a></td>";
       print "</tr>\n";
     }
   }
-- 
cgit v1.2.3-70-g09d2