commit | d87fe964ed71f002e2bde2478bf2a9099ed627ff | [log] [tgz] |
---|---|---|
author | David Pursehouse <dpursehouse@digital.ai> | Fri May 15 12:06:58 2020 +0900 |
committer | David Pursehouse <dpursehouse@digital.ai> | Fri May 15 12:06:58 2020 +0900 |
tree | 4e808c524d399a4c92a4aaace4692fe991962c40 | |
parent | b5a1ba99b0efea4e995683f0a1ab768e427c0e23 [diff] | |
parent | 94d1aac44948afee11a785c7dfb8b774543ceec3 [diff] |
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