Merge branch 'stable-3.0' into stable-3.1

* stable-3.0:
  PushOne: Improve format of log of references to be pushed
  Don't lose state when there's a pending push to the same ref

Change-Id: I7d5ecbedad8f061c0f6d44b38ba18322bea19c78
tree: 1c1ab108f1e7c460f7f9fc335c7ed7d1c2f0f1ab
  1. .gitignore
  2. .mailmap
  3. .settings/
  4. BUILD
  5. LICENSE
  6. src/