Chad has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/392464 )
Change subject: keys: Document usage of gpg --fetch-keys to import all keys
......................................................................
keys: Document usage of gpg --fetch-keys to import all keys
Change-Id: Id488ec4eabf2a54fa18d66493eb5ef0d1932acdd
---
M docroot/mediawiki/keys/keys.html
1 file changed, 6 insertions(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, but someone else must approve
Chad: Looks good to me, approved
Brian Wolff: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/docroot/mediawiki/keys/keys.html b/docroot/mediawiki/keys/keys.html
index fc95844..5eb2780 100644
--- a/docroot/mediawiki/keys/keys.html
+++ b/docroot/mediawiki/keys/keys.html
@@ -107,7 +107,12 @@
<div id="content">
<h1>Wikimedia public key list</h1>
<p>
- <big><a href="keys.txt">Get keys as a text
bundle</a></big>
+ <big>
+ A <a href="keys.txt">plain text bundle</a> is
also available. You can use the following to
+ automatically import it:
+ <br />
+ <code>gpg --fetch-keys
"https://www.mediawiki.org/keys/keys.txt";</code>
+ </big>
</p>
<h2>Tim Starling</h2>
<pre>
--
To view, visit https://gerrit.wikimedia.org/r/392464
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id488ec4eabf2a54fa18d66493eb5ef0d1932acdd
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Brian Wolff <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: Zoranzoki21 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
