help wanted - savannah keys

[John W. Eaton]

On 20-Jan-2011, Jaroslav Hajek wrote:

| I would like to start spending bits of my free time on Octave again. I
| am, however, still blocked by a major inconvenience:
| Savannah doesn't recognize my new SSH keys for my new machine, which
| means I'm unable to push any changes :(
| Would anyone of those of you with write access be so kind and try if
| registering new keys works out for you?

It seems to work for me when I paste a different key here:

  https://savannah.gnu.org/my/admin/editsshkeys.php

The change appears to take place immediately.  I verified by making
sure that my local ssh-agent did not have the old key (I could not
login without password to a machine that only had the old public key)
but I was able to pull from the archive using the new key.  Then I
swapped back to the old key and taht works as well.

jwe