GitHub exposes pub keys at GitHub .com/${username}.keys