That almost does it, but seems to only support users' known_hosts files, not the system one. I'd rather just do this once and not have to worry about which users will be ssh'ing to github.