So when pushing it is possible to have multiple urls
(remote.<name>.url) configured.
When fetching only the first configured url is considered.
Would it make sense to allow multiple urls and
try them one by one until one works?
Background:
http://www.businessinsider.com/amazon-spotify-twitter-github-and-etsy-down-in-apparent-dns-attack-2016-10
I wanted to fetch and had to fix a url of a repo
to point to a working mirror.
Thanks,
Stefan