git-gui: Allow user to specify a branch name pattern.