Update from thessl
Added github.com to known hosts
Merge