The right Git repository to clone from

Mon Jun 9 00:15:23 UTC 2014

The git.rtems.org is treated as a centralized repository to which
developers push. The github repository is a mirror. It should not
matter which you use except for some difference perhaps in connection
time.

-Gedare

On Sun, Jun 8, 2014 at 12:56 PM, fueb <fueb at gmx.net> wrote:
> Hi developers,
> which git repository should I use preferably to clone from. The one on
> git.rtems.org or github?
>
> Thanks, .. frank
> _______________________________________________
> rtems-devel mailing list
> rtems-devel at rtems.org
> http://www.rtems.org/mailman/listinfo/rtems-devel