From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 18 Aug 2012 20:45:15 GMT
Subject: Re: [PATCH 2/2] git-config.txt: fix example
Message-ID: <7v393krktg.fsf@alter.siamese.dyndns.org>
In-Reply-To: <1345311130-20426-3-git-send-email-mhagger@alum.mit.edu>

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.