Merge branch 'stable-3.1'

* stable-3.1:
  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: Ifd3eaa962ea0a3ec81f827e244bed2c303cd1419
tree: 4e808c524d399a4c92a4aaace4692fe991962c40
  1. .gitignore
  2. .mailmap
  3. .settings/
  4. BUILD
  5. LICENSE
  6. src/