devel.rtems.org unavailabe?

[Joel Sherrill]

I pinged Amar. I recall that he periodically has to restart the webserver.

On Fri, Jun 29, 2018, 7:24 AM Sebastian Huber <
sebastian.huber at embedded-brains.de> wrote:

> The
>
> https://git.rtems.org/
>
> still works.
>
> On 29/06/18 13:21, Amaan Cheval wrote:
> > Hi!
> >
> > Here's what I see when visiting https://devel.rtems.org/:
> >
> > Service Unavailable
> >
> > The server is temporarily unable to service your request due to
> > maintenance downtime or capacity problems. Please try again later.
> >
> > Regards,
> > Amaan
>
> --
> 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.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20180629/7a9be073/attachment-0002.html>