Code

gitk: New option to hide remote refs