сб, 15 мая 2021 г. в 00:56, Nicolas CARPi <nicola...@rpi.ooo>:
> > I compared several times, git clone is faster > In my hands curl is the fastest option compared to git clone. > ok, I'll make more comparison tomorrow > > Wouldn't "git clone --depth 1" be a good option to consider here? It > avoids getting the full history. > > ~Nico >