Increase Frequency of Updates of RTEMS GitHub Tools Mirroring

[Joel Sherrill]

On Tue, Oct 25, 2022 at 2:41 AM Sebastian Huber <
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.

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

Just getting to the point where a pull request triggered an update would
be useful. Assuming a pull request with no content would be ok.

--joel

>
> --
> 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/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20221025/5c31c0af/attachment.htm>