[19:39:17] <DHR>	 I'm trying to install mediawiki from https://www.mediawiki.org/wiki/Download.  I downloaded 1.29.2 and the GPG signatures, and the GPG keys.  There are two keys in the keys file but neither mach the key used to sign 1.29.2.  Am I doing something wrong?
[19:42:21] <DHR>	 keys in key file: E8A3FEC4, F9F8CD79.  Key used to sign: 9D3BB7B0
[19:44:53] <Reedy>	 gpg: Signature made Tue 14 Nov 2017 22:40:28 GMT
[19:44:53] <Reedy>	 gpg:                using DSA key 9B69B3109D3BB7B0
[19:46:13] <DHR>	 gpg: Signature made Tue 14 Nov 2017 05:40:28 PM EST using DSA key ID 9D3BB7B0
[19:46:14] <DHR>	 gpg: Can't check signature: No public key
[19:46:40] <Reedy>	 Uh
[19:46:47] <Reedy>	 What did you download?
[19:47:11] <andre__>	 Steps to reproduce welcome
[19:47:23] <DHR>	 https://releases.wikimedia.org/mediawiki/1.29/mediawiki-1.29.2.tar.gz.sig
[19:47:27] <Reedy>	 wget wget https://releases.wikimedia.org/mediawiki/1.29/mediawiki-1.29.2.tar.gz.sig
[19:47:36] <Reedy>	 wget wget https://releases.wikimedia.org/mediawiki/1.29/mediawiki-1.29.2.tar.gz
[19:47:43] <Reedy>	 gpg --verify mediawiki-1.29.2.tar.gz.sig
[19:50:55] <DHR>	 I've put everything in https://pastebin.ca/3937363
[19:53:50] <DHR>	 FWIW, google suggests that the key 9B69B3109D3BB7B0 might belong to Reedy.
[19:54:20] <Reedy>	 Indeed
[19:56:47] <Reedy>	 Why did it only import Tims...?
[19:56:50] <DHR>	 Your key seems to be in https://www.mediawiki.org/keys/keys.html ; why did GPG not load it?
[19:56:57] <Reedy>	 heh, yeah
[19:57:15] <Reedy>	 There's many others
[19:57:17] <Reedy>	 Also...
[19:57:21] <Reedy>	 I signed the git tags with the same key
[19:57:31] <Reedy>	 And they've been "verified" by github
[19:57:39] <Reedy>	 DHR: Try https://www.mediawiki.org/keys/keys.txt ?
[19:57:50] <Reedy>	 Just incase the HTML is borked for some reason
[19:57:53] <DHR>	 I'm using CentOS 7.  
[19:58:08] <DHR>	 sorry: got an urgent call.  Back in a bit.