<div dir="ltr">Hi<div><br></div><div>I'm not sure how often the GNU tools mirrors are updated for RTEMS </div><div>at GitHub but it would be appreciated if the frequency could be increased.</div><div>It seems to add a day to any tool update that requires using a git hash since</div><div>the mirroring takes a while after the commit.</div><div><br></div><div>I was updating the mips tx39 gdb hash and noticed this again.</div><div><br></div><div>Thanks.</div><div><br></div><div>--joel</div></div>