Clone RTEMS Repositories via HTTPS?

[Sebastian Huber]

Hello,

I rework currently the quick start chapter. I used the Github mirrors to 
clone the repositories:

https://lists.rtems.org/pipermail/devel/2019-January/024580.html

It is not unusual that the Git protocol is blocked by company firewalls. 
The git.rtems.org site offers no HTTPS Git clones in contrast to the 
Github mirrors at github.com/RTEMS. A quick start chapter should not 
burden the user with useless questions, e.g.

Does your company block the Git protocol? If no, then clone from 
git.rtems.org, otherwise clone from github.com.

This could raise also more questions on the user side, e.g. what is the 
difference between these sources? Why does it matter?

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.