Merge branch 'stable-3.1'

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

Change-Id: I708f1aa7c93aa4b655ed882fd87f32ed42fc94f2
tree: 78d40481aafb087e8f26fb952adbc79f2016f7bc
  1. .gitignore
  2. .mailmap
  3. .settings/
  4. BUILD
  5. LICENSE
  6. src/