Pull based Mirroring from GitHub for CI is no longer mirrored

Hi,

sorry that this caused troubles for you. The announcement and rationale has been shared in this blog post:

The repository mirroring is part of this feature as far as I can see. Still, if it is only for the technical parts of mirroring a repository, you might find this topic useful:

Kind regards,
Michael