@gbraad have you missed the whole "GitHub put their server private RSA key in a GitHub repo and had to change it urgently" drama?