FX Coudert <fxcoud...@gmail.com> writes: One other question: our Linux builder, which is running from Github Actions, fails to download from gmplib.org I thought only the mercurial repo was firewalled, is that not the case?
Github is firewalled off in its entirety. The firewall cannot inspect packets to make more fine-grained decisions. Encryption prevents that. I have no grudge against github, but also don't have time for people or organisations who create interruptions. Implementing some access restrictions in the web server (i.e., not in the firewall) is not worth the added complexity. (There is not company or organisations behind GMP. I fund the infrastructure from my salary, and I and three other volunteers keep developing it.) -- Torbjörn Please encrypt, key id 0xC8601622 _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs
