Fix error with latest tip
Change-Id: I1e5c16e5c6afb113ab646e08d3b8e84e5fa2cd50
diff --git a/src/main/java/com/googlesource/gerrit/plugins/batch/BatchSubmitter.java b/src/main/java/com/googlesource/gerrit/plugins/batch/BatchSubmitter.java
index 55abffb..a2729b7 100644
--- a/src/main/java/com/googlesource/gerrit/plugins/batch/BatchSubmitter.java
+++ b/src/main/java/com/googlesource/gerrit/plugins/batch/BatchSubmitter.java
@@ -177,7 +177,8 @@
bu.setRefLogMessage("merged (batch submit)");
bu.addOp(
psId.changeId(),
- mergedByPushOpFactory.create(psId, submissionId, destination.branch(), sha1));
+ mergedByPushOpFactory.create(
+ requestScopePropagator, psId, submissionId, destination.branch(), sha1));
bu.execute();
}
}