Patch Set 3:

Good idea to improve the PullResultDialog (see Robins remarks in the previous patch set). We might even get away without having to change the PullOperation here... Robin, could you come up with some fix for that?

Without the PullResultDialog improvements, I'd rather have another opinion before accepting this because of the user experience issues described in patch set 1.