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 <f...@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@rtems.org > http://www.rtems.org/mailman/listinfo/rtems-devel _______________________________________________ rtems-devel mailing list rtems-devel@rtems.org http://www.rtems.org/mailman/listinfo/rtems-devel
