Pull mirroring failed Jun 21, 2018.
Repository mirroring has been paused due to too many failed attempts, and can be resumed by a project maintainer.