Re: [PATCH] maintainer-scripts: Speed up git clone in gcc_release

2020-02-26 Thread Joseph Myers
On Wed, 26 Feb 2020, Jakub Jelinek wrote: > Hi! > > When doing the 8.4-rc1, I've noticed (probably also because of the dying > disk on sourceware) that git clone is extremely slow, and furthermore when > all of us have some local snapshots, it is a waste of resources to download > everything agai

[PATCH] maintainer-scripts: Speed up git clone in gcc_release

2020-02-26 Thread Jakub Jelinek
Hi! When doing the 8.4-rc1, I've noticed (probably also because of the dying disk on sourceware) that git clone is extremely slow, and furthermore when all of us have some local snapshots, it is a waste of resources to download everything again. Especially for the -f runs when we'll need to wait