git-gui: Improve pull error dialogs.