The right Git repository to clone from

[fueb]

Hi developers,
which git repository should I use preferably to clone from. The one on 
git.rtems.org or github?

Thanks, .. frank