Re: [PATCH v2 2/5] ls-remote: document --refs option
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 18, 2016, 20:01 UTC
- Message-ID
- <xmqqsi1ud5dk.fsf@gitster.mtv.corp.google.com>
- In-Reply-To
- <20160118193140.GB1009@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 15 quoted lines
> On Mon, Jan 18, 2016 at 05:57:15PM +0100, Thomas Gummerer wrote: > >> +--refs:: >> + Do not show peeled tags or pseudo-refs like HEAD or MERGE_HEAD >> + in the output. >> + > > Minor nit: we show whatever the other side sends us, which is the refs, > HEAD, and peeled tags. So mentioning MERGE_HEAD isn't wrong (if the > server _did_ send it to us, we would omit it), but it is a bit > misleading. > > I think saying "pseudo-refs like HEAD" is OK; even though we know it is > only HEAD in the current server implementation, it better describes what > the client side is doing.
Good point, I think. We probably would want to fix the glossary entry of the word that is not spelled with a dash in between the two word components (or update the above to spell it as a single word).