Suggest name for public key too

[rikhuijzer]

For consistency with the suggestion for the private key name in the code here and for consistency with many tutorials which advice setting DOCUMENTER_PUB.

[mortenpi]

Actually, it should not be necessary to give it a title at all. We set -C Documenter, so you should get something like

ssh-rsa AAAAB...z714rOGBK10= Documenter

And, if I remember correctly, GitHub uses that key comment as the name if the "Title" field is left empty.

[rikhuijzer]

And, if I remember correctly, GitHub uses that key comment as the name if the "Title" field is left empty.

I had no idea about that. Maybe we can incorporate that in the text without being too verbose? Otherwise, feel free to close this PR.

[mortenpi]

Maybe we can incorporate that in the text without being too verbose?

Yeah, that's a good idea. Happy to take suggestions on how to rephrase it 🙂

[rikhuijzer]

And, if I remember correctly, GitHub uses that key comment as the name if the "Title" field is left empty.

I just tested it and it indeed it works.

I've rephrased the sentence and put the sentence in the order of the fields in the GitHub interface.

[mortenpi]

Thanks @rikhuijzer!