From: Johannes Schindelin Date: Thu, 15 Oct 2020 19:39:32 GMT Subject: Re: [PATCH v2 1/2] ci: skip GitHub workflow runs for already-tested commits/trees Message-ID: In-Reply-To: Hi Junio, On Thu, 15 Oct 2020, Junio C Hamano wrote: > Johannes Schindelin writes: > > > Full disclosure: I am not even sure what to do with Travis support at this > > stage (but then, I am not the one to decide over that). > > Are you talking about the migration to travis-ci.com and having to > give them potentially more access to github.com/git/git/ repository? > > It does worry me, too. I meant that, together with worries about the future of Travis CI given that they've been acquired by Idera. Ciao, Dscho