Re: [dev] [st] git repo not reachable?

From: Quentin Rameau <>
Date: Mon, 11 Jun 2018 10:41:21 +0200

> Hi everyone

Hi Silvan

> $ git pull
> fatal: unable to connect to
>[0:]: errno=Connection timed out
> Did the git server process die?

The git server is fine, but as you must have seen on the suckless
website, we have switched to another host.

You must be using a third party DNS caching resolver which does not
respect the DNS servers different TTLs and is still serving you the
previous IP address.

So two solutions, either wait for this resolver to validate propagation
on its side, or use your own.

(for information, the address is / 2a01:4f8:1c0c:706c::1)
Received on Mon Jun 11 2018 - 10:41:21 CEST

This archive was generated by hypermail 2.3.0 : Mon Jun 11 2018 - 10:48:07 CEST