Re: [PATCH 2/2] git-config.txt: fix example

mhagger@alum.mit.edu writes:

 To add a new proxy, without altering any of the existing ones, use
 
 ------------
-% git config core.gitproxy '"proxy-command" for example.com'
+% git config --add core.gitproxy '"proxy-command" for example.com'
 ------------

Sensible; thanks.