Increase Frequency of Updates of RTEMS GitHub Tools Mirroring

[Sebastian Huber]

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?

In general, our current approach is quite a hack. We should do things 
more event driven. For example, if you want to update the RSB, then you 
create a pull request. This pull request starts a CI script which 
updates the mirrors and builds the RSB on a selected set of platforms. 
If everything is all right, the pull request can be merged.

-- 
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/