commit c27817f2dc874d842cf80d24df1b1fdcc67c959c
author David Pursehouse <dpursehouse@digital.ai> Mon Apr 27 09:48:45 2020 +0900
committer David Pursehouse <dpursehouse@digital.ai> Mon Apr 27 09:48:45 2020 +0900
tree f2dcd712451ba727b69d2281b728bdab307fb36b
parent 7649b84b5204364123d0a953e269e68e9c8aef29

PushOne: Log when skipping deletion of ref

Change-Id: I16c2076d6bcb6f512c79bb02509414d350beca2a

src/main/java/com/googlesource/gerrit/plugins/replication/PushOne.java

diff --git a/src/main/java/com/googlesource/gerrit/plugins/replication/PushOne.java b/src/main/java/com/googlesource/gerrit/plugins/replication/PushOne.java
index c974f3a..bc618b1 100644
--- a/src/main/java/com/googlesource/gerrit/plugins/replication/PushOne.java
+++ b/src/main/java/com/googlesource/gerrit/plugins/replication/PushOne.java
@@ -530,12 +530,14 @@
 
     if (config.isMirror()) {
       for (Ref ref : remote.values()) {
-        if (!Constants.HEAD.equals(ref.getName())) {
-          RefSpec spec = matchDst(ref.getName());
-          if (spec != null && !local.containsKey(spec.getSource())) {
-            // No longer on local side, request removal.
-            delete(cmds, spec);
-          }
+        if (Constants.HEAD.equals(ref.getName())) {
+          repLog.atFine().log("Skipping deletion of %s", ref.getName());
+          continue;
+        }
+        RefSpec spec = matchDst(ref.getName());
+        if (spec != null && !local.containsKey(spec.getSource())) {
+          // No longer on local side, request removal.
+          delete(cmds, spec);
         }
       }
     }