Increase Frequency of Updates of RTEMS GitHub Tools Mirroring

[Sebastian Huber]

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/