PushOne: Log when skipping deletion of ref

Change-Id: I16c2076d6bcb6f512c79bb02509414d350beca2a
1 file changed
tree: f2dcd712451ba727b69d2281b728bdab307fb36b
  1. .gitignore
  2. .mailmap
  3. .settings/
  4. BUILD
  5. LICENSE
  6. src/