Merge "Fix submitting changes with commits that were already merged"

This commit is contained in:
David Pursehouse
2017-01-11 11:10:02 +00:00
committed by Gerrit Code Review
2 changed files with 97 additions and 1 deletions

View File

@@ -496,7 +496,8 @@ public class MergeUtil {
}
try {
return mergeTip == null || rw.isMergedInto(mergeTip, toMerge);
return mergeTip == null || rw.isMergedInto(mergeTip, toMerge)
|| rw.isMergedInto(toMerge, mergeTip);
} catch (IOException e) {
throw new IntegrationException("Cannot fast-forward test during merge", e);
}