git-gui: Permit merging tags into the current branch.