git-gui: Improve the merge check interface for branch deletion.