commit e1af5cb3239913d7bdc9116e6994c93a61c83306
author David Pursehouse <dpursehouse@digital.ai> Tue Apr 28 12:59:43 2020 +0900
committer David Pursehouse <dpursehouse@digital.ai> Tue Apr 28 12:59:43 2020 +0900
tree 129329c2674276068a94159de46f721811c75a92
parent 9ddfd8eb8bddedb4e0b7e5241affcd36517ba558
parent ecbca63afa7d16dd0094448b691d5d31fef2e73b

Merge branch 'stable-3.0' into stable-3.1

* stable-3.0:
  PushOne: Log when skipping deletion of ref

Change-Id: I9ae39ad91f7e6d05d1e9d63b65afe4a05aa6f8f2

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 4be2742..17fb6c0 100644
--- a/src/main/java/com/googlesource/gerrit/plugins/replication/PushOne.java
+++ b/src/main/java/com/googlesource/gerrit/plugins/replication/PushOne.java
@@ -549,12 +549,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);
         }
       }
     }