summaryrefslogtreecommitdiff
path: root/buildmaster
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-12 13:31:10 +0200
committerErich Eckner <git@eckner.net>2018-06-12 13:31:10 +0200
commitc380f45efd642431ad81ae25758ab1a9f954b865 (patch)
tree29809e95b0583c85669fe0b52bbc3253d248b550 /buildmaster
parent69ab1ebf3c53bc552a489a439b5d316c8ce1745b (diff)
downloadwebsite-c380f45efd642431ad81ae25758ab1a9f954b865.tar.xz
buildmaster/gpg-keys.php: add link to pgp.mit.edu
Diffstat (limited to 'buildmaster')
-rw-r--r--buildmaster/gpg-keys.php8
1 files 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";
}
}