Re: git.postgresql.org not responding?

Thanks Magnus. :)

Btw, should I ping you directly if/when it happens again? I only knew
to ping Dave Page via Twitter, figuring he'd know who to er... page. :D

+ Justin

On 14 Apr 2016, at 15:22, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
> On Thu, Apr 14, 2016 at 4:20 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> See subject ... it responds to ping, but the http service not so much.
>
> Yeah, same issue as the one just reported for the main website. I just got things back up to running.
>
>
> --
> Magnus Hagander
> Me: http://www.hagander.net/
> Work: http://www.redpill-linpro.com/

--
"My grandfather once told me that there are two kinds of people: those
who work and those who take the credit. He told me to try to be in the
first group; there was less competition there."
- Indira Gandhi