GNU Savannah down -- add mirrors?
=================================
GNU Savannah seems to have been down for at least an hour. IPs belonging to related domains won't respond to pings from multiple U.S. and European locations:
- 208.118.235.79 savannah.gnu.org or sv.gnu.org;
- 208.118.235.200 download.savannah.gnu.org or dl.sv.gnu.org;
- 208.118.235.201 git.savannah.gnu.org or git.sv.gnu.org.
Which means source installs of formulae relying on download.savannah.gnu.org are toast (found this out when testing on Mojave).
Therefore, I propose that we add https://www.mirrorservice.org/sites/download.savannah.gnu.org/ mirrors for all such formulae. I can submit a PR if a maintainer gives the green light, or save myself some efforts if this is considered overkill to begin with.
(This issue seems to be explicitly against what's stated in the new issue template, but since I haven't contributed in a while, I'm not sure how strictly it is enforced against old pals.)