github_ssh_get_user_public_keys.sh