search

JuliaDocs / DocumenterTools.jl

Extra tools for setting up Documenter
Other
30 stars 19 forks source link

Specify "Documenter" as the SSH key comment #40

Closed omus closed 4 years ago

omus commented 4 years ago

It's more useful to see that the public key for a repository is named "Documenter" rather than using the default username and hostname.