Is it possible to rename a GitHub SSH key?

Question

The following question concerns the SSH and GPG keys section of GitHub's Personal settings area (see screen cap below).

Once a new SSH key has been added, is it possible to rename it (i.e. to give it a new Title) either explicitly or by deleting the existing key and then adding a new one with a different Title but with the same Key?

Please answer the above in two cases: (1) the key has never been used to access a repository of the account, (2) the key has been used to access a repository of the account.

---

Background Today I deleted a SSH entry and then tried to add it again with a different title, but GitHub refused to add it, emitting the following message: Key is already in use.

Answer 1

It is not possible to rename keys on GitHub. You can only delete them.

But it is possible to delete them and add them with a new name. It doesn't matter for this whether or not it has been used already.

Be careful: When you delete the key, it is not possible to restore it. To add it again, you need to have access to the public key.