Increase Frequency of Updates of RTEMS GitHub Tools Mirroring
Joel Sherrill
joel at rtems.org
Mon Oct 24 19:27:18 UTC 2022
Hi
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.
I was updating the mips tx39 gdb hash and noticed this again.
Thanks.
--joel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20221024/4a5a7af6/attachment.htm>
More information about the devel
mailing list