Merge branch 'stable-2.16' into stable-3.0

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

Change-Id: I9d7d08e8c8a19ed6bbbb2c4a16287a8d9b51aa54
tree: 570720313c8f8d2e1063163d2ba04fa3e39f6e0d
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE