maria-developers team mailing list archive

[Kristian Nielsen <knielsen@xxxxxxxxxxxxxxx>]

Otto Kekäläinen <otto@xxxxxxxxx> 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.