Code

git-gui: Fix gitk for branch whose name matches local file