diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 3dd87bb4c4..1fa5d01fbd 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -756,7 +756,7 @@ manage_ssh_keys = Manage SSH Keys manage_ssh_principals = Manage SSH Certificate Principals manage_gpg_keys = Manage GPG Keys add_key = Add Key -ssh_desc = These public SSH keys are associated with your account. The corresponding private keys allow full access to your repositories. +ssh_desc = These public SSH keys are associated with your account. The corresponding private keys allow full access to your repositories. SSH keys that have been verified can be used to verify SSH-signed Git commits. principal_desc = These SSH certificate principals are associated with your account and allow full access to your repositories. gpg_desc = These public GPG keys are associated with your account. Keep your private keys safe as they allow commits to be verified. ssh_helper = Need help? Have a look at the guide to create your own SSH keys or solve common problems you may encounter using SSH.