Increase Frequency of Updates of RTEMS GitHub Tools Mirroring
Sebastian Huber
sebastian.huber at embedded-brains.de
Tue Oct 25 18:02:48 UTC 2022
On 25/10/2022 19:46, Joel Sherrill wrote:
> On Tue, Oct 25, 2022 at 2:41 AM Sebastian Huber
> <sebastian.huber at embedded-brains.de
> <mailto:sebastian.huber at embedded-brains.de>> wrote:
>
> On 24/10/2022 21:27, Joel Sherrill wrote:
> > I'm not sure how often the GNU tools mirrors are updated for RTEMS
> > at GitHub but it would be appreciated if the frequency could be
> increased.
> > It seems to add a day to any tool update that requires using a
> git hash
> > since
> > the mirroring takes a while after the commit.
>
> Currently, it is updated once per day. What would be your desired
> update
> interval?
>
>
> Maybe 3 times a day but one which hits between noon and 2pm Central would
> help a lot. Right now, it is at midnight here which always forces an RSB
> update
> to happen a day after a patch is committed.
I changed it to run at 4:00, 12:00, and 20:00 CET.
--
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax: +49-89-18 94 741 - 08
Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/
More information about the devel
mailing list