We mirror a github repo to gitlab, but today the mirror mysteriously stopped working.
All efforts to redo it have failed. When trying to set it up via HTTPS it complains that the remote repo was not found. When trying to set up via SSH it complains that it either cannot add the relevant RSA host key (if host key detection is automatic) or does not have a valid RSA host key (if host keys are input manually).
Was there something that changed recently that could lead to this breakage?