Re: [PATCH v4 0/6] get_short_oid UI improvements

From: Jeff King <peff@peff.net>
Date: May 10, 2018, 16:04 UTC
Message-ID: <20180510160407.GD6462@sigill.intra.peff.net>
In-Reply-To: <20180510124303.6020-1-avarab@gmail.com>

On Thu, May 10, 2018 at 12:42:57PM +0000, Ævar Arnfjörð Bjarmason wrote:

Show 6 quoted lines

> This is like v3 except all the patches to the peel syntax & docs have
> been dropped, which were controversial.
> 
> I think it's worthwhile to re-work that, but I don't have time for
> that now, so I'm submitting this. Maybe I'll have time in the future
> to re-work the rest, but then I can base it on top of this.

I'm not quite on-board with the final patch, but with the exception of a few nits I sent already, the first 5 look good to me.

-Peff

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.