Hi Tim! On Fri, Mar 24, 2023 at 03:01:21PM +0100, Tim Düsterhus wrote: > Hi! > > It appears that the GitHub Mirror is broken, likely due to the SSH host key > change on GitHub's end: > > https://github.blog/2023-03-23-we-updated-our-rsa-ssh-host-key/
Ah, good to know, I wasn't aware. Thanks for letting us know, I'll check what needs to be updated. Cheers, Willy