summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <lwirzenius@wikimedia.org>2019-07-08 17:16:03 +0300
committerLars Wirzenius <lwirzenius@wikimedia.org>2019-07-08 17:16:03 +0300
commita8d2dd9f7614341aa99959e0c29d638e9aef4e6b (patch)
treeb665ed2c897728ef46104339dd4040c825988344
parent2c3a1b1176c7c618a870e6103b1a6c1c4ff9cbd7 (diff)
downloadwmf-ci-arch-a8d2dd9f7614341aa99959e0c29d638e9aef4e6b.tar.gz
Add: wait a bit while deleting a repo
-rwxr-xr-xapi.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/api.py b/api.py
index 2444c75..90afbdf 100755
--- a/api.py
+++ b/api.py
@@ -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)