github_ssh_delete_public_keys.sh