diff options
author | Joel Challis <git@zvecr.com> | 2020-11-22 15:50:14 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-22 07:50:14 -0800 |
commit | ca9edc5fe392d0349e77c26b745cbef2f85b160e (patch) | |
tree | a44637fdd11d1d07e55d9e95803239c58f724b41 /docs | |
parent | a952bf2d31ec379ec5e5bbf9b1d1b2673ebbacad (diff) |
Fix failed develop updates within CI (#11001)
* Fix inverted logic
* skip locked instead of fail
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions