From 2002b18de3ce8d9029eafba8de78eec7705c1a14 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 12 Sep 2014 09:26:31 +0530 Subject: [PATCH] Add a retry for setting the label on github --- setup/hosting.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/setup/hosting.py b/setup/hosting.py index 14d55dc286..3f556ce5b5 100644 --- a/setup/hosting.py +++ b/setup/hosting.py @@ -411,7 +411,12 @@ class GitHub(Base): # {{{ r = self.do_upload(upload_url, path, desc, fname) if r.status_code != 201: self.fail(r, 'Failed to upload file: %s' % fname) - r = self.requests.patch(url.format(r.json()['id']), + try: + r = self.requests.patch(url.format(r.json()['id']), + data=json.dumps({'name':fname, 'label':desc})) + except Exception: + time.sleep(15) + r = self.requests.patch(url.format(r.json()['id']), data=json.dumps({'name':fname, 'label':desc})) if r.status_code != 200: self.fail(r, 'Failed to set label for %s' % fname)