Removal of github::known hosts line #33, we no longer use this as part
of our infrastructure code.