From: Jeff King <peff@peff.net>
Date: Mon, 26 Mar 2012 17:51:25 GMT
Subject: Re: [PATCH/RFC 1/2] fetch-pack: new option to read refs from stdin
Message-ID: <20120326175125.GA9503@sigill.intra.peff.net>
In-Reply-To: <4F70AC47.1010405@gmx.net>

On Mon, Mar 26, 2012 at 07:49:59PM +0200, Ivan Todoroski wrote:

> >So in your case it is putting in a line break, but not actually starting
> >a new paragraph.
> >
> Ah, that's too bad. OK, I guess we have two options:
> 
> 1) Unindent the second paragraph - looks ugly in source but good in
> final output.
> 
> 2) Just merge the two paragraphs into a single paragraph. It's not
> that much text anyway, it doesn't really *have* to be in two
> paragraphs.
> 
> Let me know which option you prefer.

I would do (1). While I (and I suspect other git devs) do just read the
source straight from Documentation/*.txt, the formatted output is read
by many more people, and should be considered the final product. So
optimize for that case.

-Peff