Re: [PATCH] git config: improve documentation

[Junio C Hamano <gitster@pobox.com>]

Felipe Contreras <felipe.contreras@gmail.com> writes:

> Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
> ---
>  Documentation/git-config.txt |    5 +++--
>  1 files changed, 3 insertions(+), 2 deletions(-)
>
> diff --git a/Documentation/git-config.txt b/Documentation/git-config.txt
> index 19a8917..b284611 100644
> --- a/Documentation/git-config.txt
> +++ b/Documentation/git-config.txt
> @@ -68,7 +68,8 @@ OPTIONS
>  
>  --add::
>  	Adds a new line to the option without altering any existing
> -	values.  This is the same as providing '^$' as the value_regex.
> +	values.  This is the same as providing '^$' as the value_regex
> +	in `--replace-all`.
>  
>  --get::
>  	Get the value for a given key (optionally filtered by a regex
> @@ -150,7 +151,7 @@ See also <<FILES>>.
>  	When the color setting for `name` is undefined, the command uses
>  	`color.ui` as fallback.
>  
> ---get-color name default::
> +--get-color name [default]::
>  
>  	Find the color configured for `name` (e.g. `color.diff.new`) and
>  	output it as the ANSI color escape sequence to the standard

Looks sane.  Dscho, can I borrow your sanity?