Clone RTEMS Repositories via HTTPS?

Sebastian Huber sebastian.huber at
Mon Jan 28 11:12:04 UTC 2019


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

It is not unusual that the Git protocol is blocked by company firewalls. 
The site offers no HTTPS Git clones in contrast to the 
Github mirrors at 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, otherwise clone from

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
PGP     : Public key available on request.

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

More information about the devel mailing list