We’re currently mirroring this repository. It should take anywhere from a few minutes to a couple of hours depending on the size of the repository.