From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 08 Dec 2023 21:13:07 GMT
Subject: Re: [PATCH] gitk: add setting to hide unknown refs
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.