On 01/29/2015 03:58 PM, Andrei Alexandrescu wrote:
Travis set the User agent this way: $ CURL_USER_AGENT="Travis-CI $(curl --version | head -n 1)"Thanks! -- Andrei
Yes, I added that so you can keep track of the download numbers.I'd be interested to know the travis-ci numbers, would also help to argue for download caching on travis-ci side.