push-ssh-key: Use RSA keys.
Minor fix.