Avoid refresh on up-to-date pull operation
commitbd5c1b06d00ced8dc8cab0c853559528ff81d855
authorMichael Keppler <Michael.Keppler@gmx.de>
Sun, 12 Aug 2018 09:17:34 +0000 (12 11:17 +0200)
committerThomas Wolf <thomas.wolf@paranor.ch>
Mon, 13 Aug 2018 18:36:34 +0000 (13 20:36 +0200)
tree1d0b247621f5b0b8366078c83a2e6f048da5fe4f
parent7e54c44063ed9769a9d3c443799c52d4b2989cfd
Avoid refresh on up-to-date pull operation

Previously we only checked the merge result for being up-to-date.
Up-to-date rebase results were simply forgotten and led to a full
refresh of the workspace projects.

Bug: 537813
Change-Id: I1277b55e96dd58739ac453e4b66bce493ae3c27c
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>
org.eclipse.egit.core/src/org/eclipse/egit/core/op/PullOperation.java