How to update my SSH authorized_keys on gcc.gnu.org?

[H.J. Lu]

On Tue, Feb 23, 2010 at 9:22 AM, Andreas Schwab <schwab@redhat.com> wrote:
> "H.J. Lu" <hjl.tools@gmail.com> writes:
>
>> Is there a way to update my SSH authorized_keys on gcc.gnu.org?
>
> See <http://sourceware.org/ml/overseers/2008-q2/msg00112.html>.
>

It doesn't work for me:

# ssh sourceware.org replacekey  < authorized_keys
Permission denied(publickey,gssapi-with-mic).

-- 
H.J.