From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Petazzoni Date: Mon, 10 Apr 2017 13:52:45 +0200 Subject: [Buildroot] buildroot | Pipeline #7531221 has failed for master | f78b2c13 In-Reply-To: References: <58e9fbce8c9e8_17973fbd9c776b74668e1@worker-kiq07.fe.gitlab.com.mail> <20170409120255.0155c3fb@free-electrons.com> Message-ID: <20170410135245.6492e3ae@free-electrons.com> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: buildroot@busybox.net 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