Github repository mirroring stalled

Summary

https://gitlab.com/elifesciences/elife-xpub is set up to mirror https://github.com/elifesciences/elife-xpub. For the past 4 hours, changes have been pushed to the original repository, but the mirrored gitlab repository has not picked up the changes.

Steps to reproduce

Go to https://github.com/elifesciences/elife-xpub. The latest commit on the develop branch should be f56e72e17f71c7693468dc14c9aac0cad20386e9. The latest commit on Gitlab is an older commit: 3e09209b9b815579fab68040e2dfdae78f55550f.