Increase Frequency of Updates of RTEMS GitHub Tools Mirroring

[Joel Sherrill]

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>