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
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
