GitHub SSH key change

Stream: general

[Anne Baanen]

Apparently GitHub accidentally leaked a private key and had to change their SSH keys. So if you get a big warning when trying to git pull, this is why: https://github.blog/2023-03-23-we-updated-our-rsa-ssh-host-key/