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 wrote:
> Hi developers,
> which git reposi
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@rtems.org
http://www.rtems.org/mailman/listinfo/rtems-devel
