Code

gitk: Ensure that "Reset branch" menu entry is enabled