-
Committer:
Matthias Sohn
-
Author(s):
Thomas Wolf
-
Date:
2018-04-19 22:12:37 UTC
-
Revision ID:
git-v1:928d731a204171bbcad89516efd39b6373b77b72
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>