Otto Kekäläinen <[email protected]> writes: > You're right. This thing seems to be that in this time format there is > no +0000 time zone, instead it's called just 'Z'. So all commits done > by Danes and Finns will work, but commits by James Page from England > will fail. We can live with that and don't need to do anything further > about this for now.
I see. Bummer, but I suppose an upgrade will fix it eventually. > Just one check: does build bot run a build for each commit > individually, or does it skip commits and just build the latest commit > each time a push comes in? > From my point of view it does not need to build each commit. The > latest commit in each push would be just fine. It should be just the last commit. At least, that's how it works for bzr/launchpad, I think it's the same for git. - Kristian. _______________________________________________ Mailing list: https://launchpad.net/~maria-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~maria-developers More help : https://help.launchpad.net/ListHelp
