Re: Mirror infrastructure problems?

Hi, Yes, there was an issue after an update; it is also reported e.g. in https://bugzilla.opensuse.org/show_bug.cgi?id=1200425 It should work properly now, please report infrastructure issues like this to heroes@ or mirror@ lists.