Hi Junio, On Thu, 15 Oct 2020, Junio C Hamano wrote: > Johannes Schindelin <Johannes.Schindelin@xxxxxx> 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