Gitlab mirroring of a github repo is temperamental

mirroring

#1

Hi,

We have had gitlab mirroring a public github repo for quite some time now and all along it was working fine until a few weeks ago.
https://gitlab.com/web3j/quorum/ is set up to be a mirror of https://github.com/web3j/quorum
We have recently pushed changes to the release/4.0 branch in github but this do not appear in gitlab, even though the repository settings in CICD show that the repo was refreshed a few minutes ago.

We have noticed that all our commits/pushes into github on any branch (whether it is protected or not in gitlab) don’t make their way to the gitlab mirror, even though it indicates that it last sync’d a few minutes ago.

Has anyone recently observed a change in behaviour like this?

Thanks.
Sam.