Generate SSH key that has a specific name for GitHub #37
Description
It might be better practice to generate an SSH key that uses a file name specific for GitHub (in case people have other SSH keys they set up e.g. if they connect to the LRZ GitLab too.)