commit | 94d1aac44948afee11a785c7dfb8b774543ceec3 | [log] [tgz] |
---|---|---|
author | David Pursehouse <dpursehouse@digital.ai> | Fri May 15 11:45:23 2020 +0900 |
committer | David Pursehouse <dpursehouse@digital.ai> | Fri May 15 11:45:23 2020 +0900 |
tree | 1c1ab108f1e7c460f7f9fc335c7ed7d1c2f0f1ab | |
parent | 20e466e71f292901ed25f8c3dd109da2d98c08d0 [diff] | |
parent | 1f0fe75b94b94e99aaa52b65c0fbdf525ccf8560 [diff] |
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