On Sun, 18 Jun 2023, Niels Möller wrote:
It would be reasonable for any project that wants to pull GMP sources from 100 machines very often to set up their own mirror, do *incremental* updates of the mirror rather than a full clone, and do that at most a few times a day.
I am not disagreeing with that (see my last sentence).
But I don't think it's the GMP project's responsibility to provide such a mirror.
It shouldn't be your responsibility to not get robbed, yet you lock your door when you are away.
I am trying to be realistic. The current trend is an ever more wasteful use of resources in continuous integration (why would people bother optimizing this as long as it works?). A mirror is probably less work than what it saves, and pushes the problem to someone else (github).
Of course that's assuming the current issue is indeed a very wasteful CI setup.
-- Marc Glisse _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
