docs tree

[Tobin C. Harding]

Hi Jon,

Has the docs tree moved?  I haven't fetched it lately and this morning I
get:

        $ git fetch corbet
        fatal: unable to connect to git3.lwn.net:
        git3.lwn.net[0: 45.79.184.34]: errno=Connection refused

All my other trees fetch ok.  Relevant .git/config entry is:

        [remote "corbet"]
                url = git://git3.lwn.net/linux.git
                fetch = +refs/heads/*:refs/remotes/corbet/*
                pushurl = no_push


thanks,
Tobin.