<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Oct 25, 2022 at 2:41 AM Sebastian Huber <<a href="mailto:sebastian.huber@embedded-brains.de">sebastian.huber@embedded-brains.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 24/10/2022 21:27, Joel Sherrill wrote:<br>
> I'm not sure how often the GNU tools mirrors are updated for RTEMS<br>
> at GitHub but it would be appreciated if the frequency could be increased.<br>
> It seems to add a day to any tool update that requires using a git hash <br>
> since<br>
> the mirroring takes a while after the commit.<br>
<br>
Currently, it is updated once per day. What would be your desired update <br>
interval?<br></blockquote><div><br></div><div>Maybe 3 times a day but one which hits between noon and 2pm Central would </div><div>help a lot. Right now, it is at midnight here which always forces an RSB update</div><div>to happen a day after a patch is committed. </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
In general, our current approach is quite a hack. We should do things <br>
more event driven. For example, if you want to update the RSB, then you <br>
create a pull request. This pull request starts a CI script which <br>
updates the mirrors and builds the RSB on a selected set of platforms. <br>
If everything is all right, the pull request can be merged.<br></blockquote><div><br></div><div>Just getting to the point where a pull request triggered an update would</div><div>be useful. Assuming a pull request with no content would be ok.</div><div><br></div><div>--joel </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
-- <br>
embedded brains GmbH<br>
Herr Sebastian HUBER<br>
Dornierstr. 4<br>
82178 Puchheim<br>
Germany<br>
email: <a href="mailto:sebastian.huber@embedded-brains.de" target="_blank">sebastian.huber@embedded-brains.de</a><br>
phone: +49-89-18 94 741 - 16<br>
fax:   +49-89-18 94 741 - 08<br>
<br>
Registergericht: Amtsgericht München<br>
Registernummer: HRB 157899<br>
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler<br>
Unsere Datenschutzerklärung finden Sie hier:<br>
<a href="https://embedded-brains.de/datenschutzerklaerung/" rel="noreferrer" target="_blank">https://embedded-brains.de/datenschutzerklaerung/</a><br>
</blockquote></div></div>