Hi Collin,
> >> + 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?
No, setting gnulib_url would have no effect, since what you have here
is a shell assignment, not a Makefile default.
But GNULIB_URL is documented as being settable as an environment
variable (see `bootstrap --help`).
> 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].
That's an interesting idea. It would take off some load from savannah.
But it would advertise GitHub which, unlike savannah, is powered by
proprietary software. Not sure which is better...
Bruno
