commit | e1af5cb3239913d7bdc9116e6994c93a61c83306 | [log] [tgz] |
---|---|---|
author | David Pursehouse <dpursehouse@digital.ai> | Tue Apr 28 12:59:43 2020 +0900 |
committer | David Pursehouse <dpursehouse@digital.ai> | Tue Apr 28 12:59:43 2020 +0900 |
tree | 129329c2674276068a94159de46f721811c75a92 | |
parent | 9ddfd8eb8bddedb4e0b7e5241affcd36517ba558 [diff] | |
parent | ecbca63afa7d16dd0094448b691d5d31fef2e73b [diff] |
Merge branch 'stable-3.0' into stable-3.1 * stable-3.0: PushOne: Log when skipping deletion of ref Change-Id: I9ae39ad91f7e6d05d1e9d63b65afe4a05aa6f8f2