what is the relationship between github.com/RTEMS and git.rtems.org ? thanks

[Joel Sherrill]

On August 2, 2014 4:18:19 AM CDT, Tom <ventureg at 163.com> wrote:
>hi all
>
>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.

--joel