Hi! Am 29.02.2012 10:47, schrieb olivier sallou: > Yes, they are. You'll have to wait for your key to be pushed to the > machines you're interested in. > (You can log in to db.debian.org <http://db.debian.org> in the meantime) > 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. Best regards, Alexander -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f4df64c.2050...@schmehl.info
