> On Mon, Sep 10, 2012 at 12:08:30PM +0300, Yaniv Kaul wrote: > > Confirmed, great and thanks. > > I'd be happy if we could avoid such situations in the future. I > > know > > we (used to?) have a build-bot for Spice. Is it alive and working? > > It was working a few weeks ago since I got a broken build email after > a > commit I made. Maybe the 'broken build' emails should go to some > mailing > list though, I think they only notify the committer currently. Note > that a > build bot won't avoid such situations, it will only make them known > sooner. I'll ask for a spice-builds mailing list? We could do what other build systems do - have commits pushed by jenkins and have committers push to a jenkins monitored repository (via push with a git rule probably). How does that sound? > > Christophe > > _______________________________________________ > Spice-devel mailing list > Spice-devel@xxxxxxxxxxxxxxxxxxxxx > http://lists.freedesktop.org/mailman/listinfo/spice-devel > _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/spice-devel