Junio C Hamano <gits...@pobox.com> writes: > Matthieu Moy <matthieu....@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).
You're right: github.com:gitster/git shouldn't be affected. Builds are triggered for branches outside github.com:git/git only when a pull-requests to git/git is submitted. So, you'd get a "success" email only when pushing a new tag (since the set of branches does not change). -- Matthieu Moy http://www-verimag.imag.fr/~moy/ -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
