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

2018-06-11 Thread Silvan Jegen
On Mon, Jun 11, 2018 at 10:41 AM, Quentin Rameau wrote: >> Hi everyone > > Hi Silvan > >> $ git pull >> fatal: unable to connect to git.suckless.org: >> git.suckless.org[0: 195.186.210.161]: errno=Connection timed out >> >> Did the git server process die? > > The git server is fine, but as you mus

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

2018-06-11 Thread Quentin Rameau
> Hi everyone Hi Silvan > $ git pull > fatal: unable to connect to git.suckless.org: > git.suckless.org[0: 195.186.210.161]: 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

[dev] [st] git repo not reachable?

2018-06-11 Thread Silvan Jegen
Hi everyone The st repo hosted on suckless.org is not reachable for me: $ cat .git/config [core] repositoryformatversion = 0 filemode = true bare = false logallrefupdates = true [remote "origin"] url = git://git.suckless.org/st fetch = +refs/heads/