Update mirrors.yaml

[slel]

Fix links to two mirrors: Rediris, Spain; and Stellenbosch, South Africa.
Set inactive mirrors to "active: false".

[haraldschilly]

why is it deactivated? http://ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/ loads fine for me.

[haraldschilly]

oh, next one, I see ^^

[slel]

Yes, it's a bit confusing in the diff view, but the structure is

- active: xx  # true/false --- whether mirror is active
  cat: xx     # a/af/aus/e/na/sa for Asia/Africa/Oceania/Europe/NAm/SAm
  country: xx           # country code
  flag: xx              # country code for the flag
  name: xx, yy, zz      # name (eg Uni Something), city, country
  priority: 1000        # priority: 1 master, 10 secondary master, ...
  url: http://example.com/mirror/sage/  # url --- must end with /

and the diff view often has the name and url of one mirror
combined with the active status of the next mirror.

[haraldschilly]

well, there is no need to deactivate any of them because they're probed by a script anyways. still merging it, that just makes the script run faster.

[haraldschilly]

and your changes broke the build itself. i'm fixing this, and also exposing the error message for travis-ci. it's a missing slash:

bash scripts/mirror_manager_wrapper.sh
Traceback (most recent call last):
  File "mirror_manager.py", line 137, in <module>
    MIRRORS = [Mirror(**m) for m in yaml.load(codecs.open(MIRROR_YAML, "r", "utf8"))]
  File "mirror_manager.py", line 113, in __init__
    assert url.endswith("/")
AssertionError
makefile:20: recipe for target 'scripts/mirror_list' failed