what is the relationship between github.com/RTEMS and git.rtems.org ? thanks
joel.sherrill at oarcorp.com
Sat Aug 2 14:27:35 UTC 2014
On August 2, 2014 4:18:19 AM CDT, Tom <ventureg at 163.com> wrote:
>what is the relationship between github.com/RTEMS and git.rtems.org ?
>I am confused. Thanks
RTEMS.org is the master and github is supposed to be a mirror for convenience. A script is supposed to push every commit but it must have died a week ago based on your other email.
RTEMS is completely hosted at RTEMS.org.
Thanks for reporting this. Someone will fix it.
More information about the users