Merge "Reindex a change that during MergeOp is found to be already merged"

2013-09-27 06:00:31 +00:00
parent c64ae0f89d 63c8165124
commit ef78661c29
1 changed files with 1 additions and 0 deletions
--- a/gerrit-server/src/main/java/com/google/gerrit/server/git/MergeOp.java
+++ b/gerrit-server/src/main/java/com/google/gerrit/server/git/MergeOp.java
@@ -509,6 +509,7 @@ public class MergeOp {
            commit.statusCode = CommitMergeStatus.ALREADY_MERGED;
            try {
              setMerged(chg, null);
+              indexer.index(chg);
            } catch (OrmException e) {
              log.error("Cannot mark change " + chg.getId() + " merged", e);
            }