Add GitHub server to known hosts
Adopt simple push