git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] gitk: add setting to hide unknown refs

From
Junio C Hamano <gitster@pobox.com>
Date
Dec 8, 2023, 21:13 UTC
Message-ID
<xmqqil581jq4.fsf@gitster.g>
In-Reply-To
<pull.1619.git.1701695899635.gitgitgadget@gmail.com>
"Joachim B Haga via GitGitGadget" <gitgitgadget@gmail.com> writes:
> This patch adds a setting to gitk to exclude all unknown refs - which
> is considerably simpler than trying to honour the `excludeDecoration`
> pattern.

"This was simpler to implement" is a one-time cost savings for the developer who added the feature. For that one-time cost savings, all the current and future users will pay the price of inconsistent behaviour between "gitk" and "git log".

It does not look like a good trade-off.
Previous: Joachim B Haga via GitGitGadget
Message 2 of 2 in “gitk: add setting to hide unknown refs”
  1. gitk: add setting to hide unknown refsJoachim B Haga via GitGitGadget, Dec 4, 2023
  2. Junio C HamanoDec 8, 2023

Read the whole thread, see it on lore, or plain text.

$ 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.