Merge branch 'stable-3.0' into stable-3.1

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

Change-Id: I9ae39ad91f7e6d05d1e9d63b65afe4a05aa6f8f2
tree: 129329c2674276068a94159de46f721811c75a92
  1. .gitignore
  2. .mailmap
  3. .settings/
  4. BUILD
  5. LICENSE
  6. src/