Re: Using git: in the bootstrap script?

2020-01-04 Thread Bruno Haible
Paul Smith wrote: > Is there a reason gnulib is still preferring the git: protocol in the > bootstrap script even though in most other places we are switching to the > more secure https protocol? >From the last 3 paragraphs of [1] I understand that the git protocol has no "encryption and

Re: Using git: in the bootstrap script?

2020-01-04 Thread Paul Eggert
On 1/4/20 12:59 PM, Paul Smith wrote: > Is there a reason gnulib is still preferring the git: protocol in the > bootstrap script even though in most other places we are switching to the > more secure https protocol? Not that I know of. Feel free to change it.

Using git: in the bootstrap script?

2020-01-04 Thread Paul Smith
One of my users has reported that the gnulib-supplied bootstrap script is failing for them, but if they change: default_gnulib_url=git://git.sv.gnu.org/gnulib to: default_gnulib_url=https://git.savannah.gnu.org/git/gnulib it works. My suspicion is that they're behind a firewall which