Ping: github.com mirroring of RTEMS repositories not working.

[Karel Gardas]

  Hello Amar,

github.com mirroring of RTEMS repositories is not working since March 
23[1] of this year. This was reported several times IIRC on devel@ and 
discord channels. Since this is already several months of outage, I 
would like to ask you if you plan to make that working again or shall we 
just give up on those mirrors and create our own based on git.rtems.org?

Thanks!
Karel

[1]: https://github.com/RTEMS/rtems