diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-07-07 21:15:53 +0300 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-07-07 21:15:53 +0300 |
commit | 9842190644ad235d4b60ee06a0caf7d8461ec66d (patch) | |
tree | dd309dcd10f1bd9b6e8cb6638c71d5b01fd682b2 | |
parent | 2784950172650e1fcdbb625211c1366b8f5c6fe9 (diff) | |
download | wmf-ci-arch-9842190644ad235d4b60ee06a0caf7d8461ec66d.tar.gz |
Fix: syntax
-rwxr-xr-x | api.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -240,7 +240,7 @@ class VCSWorker(API): return (self._clone(url, ref, dirname) and self._remove(T, D, P, name) and self._create_repo(T, D, name) and - time.sleep(5) and + (time.sleep(5) or True) and self._set_var(T, D, P, name, key, value) and self._push(dirname, D, P, ref, name)) |