Shell script `default/github-host-keys'

Install GitHub host keys into .ssh/known_hosts

CLM_SSH_HOST='github.com' clustermin install host-keys