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.