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

From: Junio C Hamano <[email-masked]>
Date: Sat, 09 Dec 2023 06:13:07 +0900

"Joachim B Haga via GitGitGadget" <[email-masked]> 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.