Re: Suggestion on git-push --porcelain

From: Jeff King <peff@peff.net>
Date: Feb 10, 2010, 04:54 UTC
Message-ID: <20100210045446.GC28526@coredump.intra.peff.net>
In-Reply-To: <7vmxzhn6fp.fsf@alter.siamese.dyndns.org>

On Tue, Feb 09, 2010 at 06:57:46PM -0800, Junio C Hamano wrote:

Show 14 quoted lines

> Tay Ray Chuan <rctay89@gmail.com> writes:
> 
> >   $ git push --porcelain
> >   PORCELAIN To git://foo.com/git/myrepo.git
> >   PORCELAIN uptodate refs/heads/baz:refs/heads/baz 1234ab ba4321
> >   PORCELAIN nonff refs/heads/bar:refs/heads/bar 2345cd 3456de
> >
> > This is an "positive" approach, in the sense that we don't remove
> > anything from the current output; we just add more printf("PORCELAIN")
> > lines to wherever is appropriate.
> 
> Sorry, but I don't see what that would solve.  For example, we used not to
> give the destination to the standard output stream, but that line carries
> a necessary information and Larry's series corrects that.

I think he is trying to future-proof any additional output that push (or remote helpers) produce. I don't think it is really worth it, though. All of that should be going to stderr, and thus would be, at worst, noise on the terminal. I don't think it is that hard or error-prone a rule to send such cruft to stderr.

-Peff