From: David Aguilar <davvid@gmail.com>
Date: Wed, 23 Jan 2013 03:44:42 GMT
Subject: Re: [PATCH v3 3/6] Change 'git' to 'Git' whenever the whole system is referred to #2
Message-ID: <CAJDDKr4fnUp_35ni72XJS_NSp4jxbvQPENLnk3AhFv2FBg3DTg@mail.gmail.com>
In-Reply-To: <2009548606.632825.1358795980319.JavaMail.ngmail@webmail20.arcor-online.net>

On Mon, Jan 21, 2013 at 11:19 AM, Thomas Ackermann <th.acker@arcor.de> wrote:
> diff --git a/Documentation/config.txt b/Documentation/config.txt
> index b87f744..5a831ad2 100644
> --- a/Documentation/config.txt
> +++ b/Documentation/config.txt
>  push.default::
> -       Defines the action git push should take if no refspec is given
> +       Defines the action Git push should take if no refspec is given
>         on the command line, no refspec is configured in the remote, and
>         no refspec is implied by any of the options given on the command
>         line. Possible values are:

This should probably be "git push" in double quotes.
-- 
David