Bug#301951: developer.php: picks up wrong gpg key

["Miros/law L. Baran" <baran@knm.org.pl>]

Package: qa.debian.org
Severity: normal

Hi,

The developer.php script shows bad key ID for the 'baran@debian.org'
address; it lists the 9E080E1C (my jabber encryption key) where it
should list FC494FC4 (my main gpg key). Both have the id
'baran@debian.org' and in my jabber key it is the default id, but
anyways, it should not fail in that way. (Maybe it should try to
download key from the keyring.debian.org and only fall back to another
server when it could not find the key there?)

Kind regards
Jubal

-- System Information:
Debian Release: 3.1
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.6.8
Locale: LANG=polish, LC_CTYPE=polish (charmap=ISO-8859-2)