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
Slightly older version of
master from https://github.com/j6t/gitk
gitk: Add user preference to hide specific references #2
closed
opened by
ilyagr.bsky.social
targeting
test
from
pr/16-jj
expand 1 commit
hide 1 commit
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>