url.<base>.insteadOf bugs

I just upgraded to git 1.5.5, and decided to try out the new url.<base>.insteadOf config option, to save me typing when pulling from git.sv.gnu.org (and so that I can type the same url whether I'm at home and can use git://, or when I'm at work and behind a stupid firewall where I must use http://). It has a couple of bugs:

First, it appears to have an off-by-one bug.

$ git --version git version 1.5.5 $ mkdir bison $ cd bison $ git init Initialized empty Git repository in .git/ $ git config url.http://git.sv.gnu.org/r/.insteadOf gnu: $ git fetch gnu:bison.git master fatal: I don't handle protocol 'ttp' $ git config --unset url.http://git.sv.gnu.org/r/.insteadOf $ git config --global 'url. http://git.sv.gnu.org/r/.insteadOf' gnu: $ git fetch gnu:bison.git master Getting alternates list for http://git.sv.gnu.org/r/bison.git ...

Second, 'git clone --help' documents that it uses this config option, but it doesn't:

$ cd .. $ rm -Rf bison $ git clone gnu:bison.git Initialized empty Git repository in /home/eblake/bison/.git/ ssh: Could not resolve hostname gnu: no address associated with name fatal: The remote end hung up unexpectedly fetch-pack from 'gnu:bison.git' failed.