tree 4e808c524d399a4c92a4aaace4692fe991962c40
parent b5a1ba99b0efea4e995683f0a1ab768e427c0e23
parent 94d1aac44948afee11a785c7dfb8b774543ceec3
author David Pursehouse <dpursehouse@digital.ai> 1589512018 +0900
committer David Pursehouse <dpursehouse@digital.ai> 1589512018 +0900

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