gitk: Add user preference to hide custom references `#71` rss

closed · opened on 2025-08-03T05:37:21Z by ilyagr

Help

checkout latest patchset:

ssh pr.pico.sh print pr-71 | git am -3

checkout any patchset in a patch request:

ssh pr.pico.sh print ps-X | git am -3

add changes to patch request:

git format-patch main --stdout | ssh pr.pico.sh pr add 71

add review to patch request:

git format-patch main --stdout | ssh pr.pico.sh pr add --review 71

accept PR:

ssh pr.pico.sh pr accept 71

close PR:

ssh pr.pico.sh pr close 71

ilyagr created pr with ps-140 on 2025-08-03T05:37:21Z

ilyagr added ps-141 (range-diff) on 2025-08-03T05:40:15Z


                  1:  4a4a512 ! 1:  2441e19 gitk: Add user preference to hide specific references

ilyagr changed status to closed on 2025-08-03T05:45:12Z