From: Johannes Schindelin Date: Wed, 06 Feb 2019 11:33:22 GMT Subject: Re: [PATCH] travis-ci: make the OSX build jobs' 'brew update' more quiet Message-ID: In-Reply-To: Hi Junio, On Tue, 5 Feb 2019, Junio C Hamano wrote: > Johannes Schindelin writes: > > > On Mon, 4 Feb 2019, SZEDER Gábor wrote: > > > >> Under Dscho's bugreport it looks like they already merged a one-liner > >> fix, but how long will it take to tickle down to Travis CI, I have no > >> idea. > > > > Since the fix affected a Homebrew package, it was not so much about > > trickling down to Travis, but about trickling down into the public > > Homebrew repositories. And it seems that that trickling is complete now. > > Good news. Thanks both for reporting and monitoring. > > I still think the >/dev/null thing is a good idea, so unless I hear > otherwise, let's merge it down to 'next', etc. Yes, it is a very good idea. Ciao, Dscho