Re: Requests from Microsoft IP Addresses

[Marc Glisse]

One thing that should be doable is set up a mirror of GMP's repository on 
github, and advertise that one for CI purposes. Any user could do that 
(there are already a few), but if it was advertised on the GMP website, it 
would be more likely to be used by more people. Of course it would be good 
if people didn't set up their CI in such a wasteful way, but the trend 
doesn't make me very optimistic.

--
Marc Glisse
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-devel