github_ssh_add_public_keys.sh