Double default timeout, github archive downloads tend to be slow