Bruno Haible <br...@clisp.org> writes: >> + gnulib_url=${GNULIB_URL:-$default_gnulib_url} >> shallow= >> if test -z "$GNULIB_REVISION"; then > > This variable is useful; thanks.
This would allow gnulib_url to be set in bootstrap.conf so a mirror could be used right? Even before the recent Savannah outages apparently a full clone of Gnulib can cause trouble on CI machines [1] [2]. Maybe it makes sense to document safe mirrors, like the Coreutils GitHub group [3]. I'm not sure if there is an issue with that since the website requires nonfree javascript. Collin [1] https://lists.gnu.org/archive/html/savannah-hackers-public/2024-05/msg00000.html [2] https://octave.discourse.group/t/buildbot-issues-with-gnulib-repository/5395 [3] https://github.com/coreutils/gnulib