diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-07-08 17:16:03 +0300 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-07-08 17:16:03 +0300 |
commit | a8d2dd9f7614341aa99959e0c29d638e9aef4e6b (patch) | |
tree | b665ed2c897728ef46104339dd4040c825988344 | |
parent | 2c3a1b1176c7c618a870e6103b1a6c1c4ff9cbd7 (diff) | |
download | wmf-ci-arch-a8d2dd9f7614341aa99959e0c29d638e9aef4e6b.tar.gz |
Add: wait a bit while deleting a repo
-rwxr-xr-x | api.py | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -262,7 +262,9 @@ class VCSWorker(API): snippet = urllib.parse.quote('%s/%s' % (gitlab_project, name), safe='') url = 'https://%s/api/v4/projects/%s' % (gitlab_domain, snippet) argv = ['curl', '-HPRIVATE-TOKEN: %s' % token, '-X', 'DELETE', url] - return runcmd('.', argv, self.MAX_REMOVE_TIME) + result = runcmd('.', argv, self.MAX_REMOVE_TIME) + time.sleep(5) + return result def _create_repo(self, token, gitlab_domain, name): logging.info('Creating repository %s', name) |