From a8d2dd9f7614341aa99959e0c29d638e9aef4e6b Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <lwirzenius@wikimedia.org>
Date: Mon, 8 Jul 2019 17:16:03 +0300
Subject: Add: wait a bit while deleting a repo

---
 api.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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)
-- 
cgit v1.2.1