Hi,
Which boils down to
On Wed, Feb 29, 2012 at 10:56:28AM +0100, Alexander Reichle-Schmehl wrote:
> > I already logged to web interface to update my profile.
> > I do not see however any SSH key attribute in the web interface, did I
> > miss something?. I know that it can be done via the GPG gateway, sending
> > an email.
>
> IIRC you'l have to use the mail gateway to set your ssh key. See
> http://db.debian.org/doc-mail.html for details.
cat ~/.ssh/<your_key>.pub | gpg --clearsign > send_this_to_changes
echo "cat send_this_to_changes | mailx -s "Please change SSH key" changes@db.debian.org"
Hope this helps
Andreas.
--
http://fam-tille.de
Archive: [🔎] 20120229124115.GE11775@an3as.eu" target="_blank">http://lists.debian.org/[🔎] 20120229124115.GE11775@an3as.eu
--
To UNSUBSCRIBE, email to debian-devel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
gpg key id: 4096R/326D8438 (keyring.debian.org)
Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438