Testing tangled. Original: https://github.com/j6t/gitk

gitk: Add user preference to hide custom references #1

open
opened by ilyagr.bsky.social targeting master from pr/16

External tools such as Jujutsu may add many references that are of no interest to the user. This preference hides them.

The non-custom refs are those that pass git's default decoration filter (see set_default_decoration_filter).

The preference is off by default, maintaining current behavior.

Signed-off-by: Ori Avtalion ori@avtalion.name

0
by ilyagr.bsky.social 0 comments
expand 1 commit
gitk: Add user preference to hide custom references
failed to check merge status: invalid xrpc request
sign up or login to add to the discussion
Labels

None yet.

Participants 1
AT URI
at://did:plc:jp6rly3c67o3zlwarw2ttafu/sh.tangled.repo.pull/3lvhyk4bz7422