Hello, what's happened to the git repository?
This is what I get when I try to clone it: $ git clone git://git.sv.gnu.org/gnulib.git Initialized empty Git repository in /tmp/gnulib/.git/ warning: You appear to have cloned an empty repository. and on the http://git.savannah.gnu.org/cgit/gnulib.git web page I see this message: "Repository seems to be empty" Thanks, Giuseppe
