proxy documentation

Example documentation for proxy settings in Documentation/git-repo-config.txt
shows:

[proxy]
                command="ssh" for "ssh://kernel.org/"

But the code in connect.c:git_proxy_command_options() looks
for "core.gitproxy" rather than "proxy.command".

I've only just started looking at the proxy support ... is it just the name
that is wrong in the documentation, or are there other issues here?

proxy.command sounds like a better name than core.gitproxy ... so
maybe the Docs are "right" and the code is "wrong"?

-Tony