[Buildroot] buildroot | Pipeline #7531221 has failed for master | f78b2c13

[Thomas Petazzoni]

Hello,

On Sun, 9 Apr 2017 23:10:57 +0200, Arnout Vandecappelle wrote:

>  I configured the mirroring from git.buildroot.org to once per day. Apparently
> the time when it syncs varies quite a bit. And apparently, it just didn't sync
> today - the last sync is from Apr 8 2:18.

OK.

>  I could configure the mirror to once per hour instead, but then the CI will run
> a little too often. OTOH, I guess you rarely push more than twice a day, right,

I do push much more than twice a day. When I'm actively merging
patches, I'm almost pushing between every patch, so in a typical merge
session, I can be doing 10, 20 pushes or more.

> so it's not going to make that much of a difference... But apparently, I can't
> even change the synchronisation frequency, "Update every day" is the only option...

OK. Not ideal, but I guess we can live with this.

Thanks,

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux and Kernel engineering
http://free-electrons.com