Re: [PATCH v2] ci: avoid pounding on the poor ci-artifacts container

Johannes Schindelin [off-list ref] writes:

Hi Junio,

On Fri, 15 May 2020, Junio C Hamano wrote:

quoted

Thanks, both.  Will replace and let's merge it down before -rc1.

'next' passes with this

 https://github.com/git/git/runs/679473788
 https://github.com/git/git/runs/679473866

etc.

Thanks.