[Discuss-gnuradio] gnuradio.org down?

[Fabian Klaes]

Dear list,

when trying to clone gnuradio from git i got this:

git clone http://gnuradio.org/git/gnuradio.git
Initialized empty Git repository in /home/fs/gnuradio/.git/
error:  while accessing http://gnuradio.org/git/gnuradio.git/info/refs

fatal: HTTP request failed

also, when i try to access any of the gnuradio.org pages i get "The connection to the server was reset while the page was loading."

Does anyone know anything?

Fabian