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). -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html