On 25/10/2022 19:46, Joel Sherrill wrote:
On Tue, Oct 25, 2022 at 2:41 AM Sebastian Huber
<sebastian.hu...@embedded-brains.de
<mailto:sebastian.hu...@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.hu...@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/
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel