From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 28 Sep 2015 18:47:08 GMT
Subject: Re: [RFC/PATCH v1] Add Travis CI support
Message-ID: <xmqqlhbqcrf7.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <vpq4mie1m3n.fsf@grenoble-inp.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> It probably makes sense to do the later in the case of Git, so that
> Junio doesn't get spammed when pushing topic branches to
> https://github.com/gitster/git.

I won't enable it on github.com:gitster/git anyway, so I do not
think that is a concern.  I thought what people are talking about
was to add it on github.com:git/git, but have I been misreading the
thread?  I do not even own the latter repository (I only can push
into it).