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@hagander.net> wrote:
> On Thu, Apr 14, 2016 at 4:20 PM, Tom Lane <tgl@sss.pgh.pa.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