tree 3fca254a9f30c0eef7e2dbb5cde2a1d76d6ba657
parent c059100797ec630e91dfab2fc03b276ddfb9124f
parent 4ee733142ac71556705df02cdab396b804463879
author David Pursehouse <dpursehouse@digital.ai> 1589503175 +0900
committer David Pursehouse <dpursehouse@digital.ai> 1589503175 +0900

Merge branch 'stable-2.16' into stable-3.0

* stable-2.16:
  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: I78a3f0ff2e596a88d162fbe84caa1282ca1589f6