From 3fdaf37544fdb7dca4471a069fd04d3412e4ec79 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Tue, 30 Jul 2019 15:05:39 +0200
Subject: [PATCH] add download link for the public keyring

---
 gpg-keys.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gpg-keys.php b/gpg-keys.php
index 9d75caf16..a26ee72f9 100644
--- a/gpg-keys.php
+++ b/gpg-keys.php
@@ -24,5 +24,10 @@ site_header('GPG Keys');
   </div>
 <?php endforeach ?>
 
+<p>
+  You can download the keyring with all Release Manager public keys:
+  <?php download_link('php-keyring.gpg', 'php-keyring.gpg'); ?>
+</p>
+
 <?php
 site_footer();