I switched over to http now as the chosen mirror had slow ping responses the other day. OBS shouldn't suggest to use https if this is not working properly. So we'll have to remember to change to http after copy&paste of the OBS repo URI.