people.linaro.org was recommended by Dave, probably for the general purpose + cron jobs.

But if ci.linaro.org is more appropriate, I might ask that, too.

thanks,

--renato