Fixing type on push_ssh_key.py