dead servers

[groups at chichak.ca]

devel.rtems.org is dead and the ones that are referred to in source builder.

A

> On 2017-October-18, at 23:10, Chris Johns <chrisj at rtems.org> wrote:
> 
> On 19/10/2017 15:55, groups at chichak.ca wrote:
>> I was trying to get the 4.12 tools working but some of the rtems.org
>> <http://rtems.org> servers used for git in RSB are giving 503s.
> 
> http://rtems.org/ changes to https://www.rtems.org/.
> 
> They are all working for me.
> 
> Chris