Testing tangled. Original: https://github.com/j6t/gitk
format-patch version #2
open
opened by
ilyagr.bsky.social
targeting
master
expand 1 commit
hide 1 commit
4a4a5125
gitk: Add user preference to hide custom references
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>
expand 1 commit
hide 1 commit
2441e19d
gitk: Add user preference to hide specific references
External tools such as Jujutsu may add many references that are of no
interest to the user. This preference allows hiding them.
Signed-off-by: Ori Avtalion <ori@avtalion.name>