Thanks for the pointer, I've already filed the bug and I am trying to
submit it to gerrit.
Just to be curious ... how long does it take for the public-ssh-key to be
imported into the ssh-server?
I've submitted mine ~2 hours ago and still get "Permission denied
rap-dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from
this list, visit