Gedare Bloom wrote: > I'm pleased to announce that once again rtems.git is being mirrored on > github at https://github.com/RTEMS/rtems There were some issues with > our automated pushing, which Amar has resolved. Amar, thank you for fixing and managing this for us. Chris