On Sat, Jul 12, 2014 at 10:53:47AM +0200, Tuncer Ayaz wrote:
> On Sat, Jul 12, 2014 at 6:56 AM, Jeff King wrote:
> > I think none of the regular devs uses PROFILE, and it bit-rotted
> By the way, is there no build (CI) server for git.git to regularly
> test branches on different platforms or at least different build
> configs on the same platform?
Junio tests master and next on a few different platforms before pushing
out the results of topic integration. Other than that, we rely on people
to report problems (and people testing master or even next on their
platforms is very much appreciated, as it means we can fix problems
before they are cemented in a release).
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