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 <[email protected]> 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 > [email protected] > http://www.rtems.org/mailman/listinfo/rtems-devel _______________________________________________ rtems-devel mailing list [email protected] http://www.rtems.org/mailman/listinfo/rtems-devel
