Indicate how to add github.com to the list of server known hosts.