Giuseppe Scrivano wrote: > 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.
Sorry about that, and thanks for reporting it. An hour or two ago, I noticed that the repository was getting a bit bloated, so ran "git gc" as root on the server. Unfortunately, my umask was 077, which resulted in the pack-related files being created world-unreadable. I've just fixed it manually.
