Handle Gerrit Change-Ids for merge commits
commit928d731a204171bbcad89516efd39b6373b77b72
authorThomas Wolf <thomas.wolf@paranor.ch>
Fri, 6 Apr 2018 21:59:24 +0000 (6 23:59 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Thu, 19 Apr 2018 22:12:37 +0000 (20 00:12 +0200)
treeb65760b78fe628307e93109f9a9f943410a86b71
parente65a19a6dead95f63770ffd4c56767cf893eed9a
Handle Gerrit Change-Ids for merge commits

Otherwise successful, non-conflicting merges will never get a
Gerrit Change-Id.

Bug: 358206
JGit-Dependency: I9b599ad01d9f7332200c1d81a1ba6ce5ef990ab5
Change-Id: I96f1bdc718842a2aa3489be97a9628506ece5800
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
org.eclipse.egit.core/src/org/eclipse/egit/core/op/MergeOperation.java