Some commands for use in Circle CI config related to the task of getting GitHub's SSH keys into your known_hosts file.
Why is that useful? It's useful to me because I have some Circle
CI jobs where I create a new branch, push it back to GitHub and
create a PR. Without having a github.com entry in your known_hosts
file, the git push
would fail. I mean, really it would hang
waiting for user input with a prompt like: