tree 1c1ab108f1e7c460f7f9fc335c7ed7d1c2f0f1ab
parent 20e466e71f292901ed25f8c3dd109da2d98c08d0
parent 1f0fe75b94b94e99aaa52b65c0fbdf525ccf8560
author David Pursehouse <dpursehouse@digital.ai> 1589510723 +0900
committer David Pursehouse <dpursehouse@digital.ai> 1589510723 +0900

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