From: Jonathan Nieder <jrnieder@gmail.com>
Date: Fri, 10 May 2013 03:28:43 GMT
Subject: Re: stdout versus stderr for cmd line git
Message-ID: <20130510032843.GA12036@elie>
In-Reply-To: <CAKk5qjVoDUzeurgAL51jixXsm4rJCMCDf620vAv_Gsafk8N7iA@mail.gmail.com>

Hi,

Michael Hunley wrote:

> Ok, we can filter that out.  But worse is that actual errors in a pull
> request are sent to stdout instead of standard error.  For example,
> merge conflicts or pull failures because you have unstaged changes.

Yes, errors and progress output should go to stderr.  The git-pull.sh
script is pretty old and is probably just a bit sloppy about
forgetting to redirect output from "echo".  Patches welcome.
(See Documentation/SubmittingPatches for details.)

Hope that helps,
Jonathan