GitHub key needs an update

[Jan Palus]

With each push following is logged from github mirror sync:

remote: Pushing to github mirror...
remote: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
remote: @    WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!     @
remote: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
remote: IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY!
remote: Someone could be eavesdropping on you right now (man-in-the-middle attack)!
remote: It is also possible that a host key has just been changed.
remote: The fingerprint for the RSA key sent by the remote host is
remote: SHA256:uNiVztksCsDhcc0u9e8BujQXVUpKZIDTMczCvj3tD2s.
remote: Please contact your system administrator.
remote: Add correct host key in /home/services/git/.ssh/known_hosts to get rid of this message.
remote: Offending RSA key in /home/services/git/.ssh/known_hosts:1
remote: Host key for github.com has changed and you have requested strict checking.
remote: Host key verification failed.
remote: fatal: Could not read from remote repository.
remote: 
remote: Please make sure you have the correct access rights
remote: and the repository exists.
remote: ...done

That's expected and GitHub host key needs an update, see:
https://github.blog/2023-03-23-we-updated-our-rsa-ssh-host-key/