From 10f4ff78455c26c18f41350ab9d24409de2fe644 Mon Sep 17 00:00:00 2001
From: River Gillis <jrivergillis@gmail.com>
Date: Fri, 2 Sep 2022 14:45:24 -0700
Subject: [PATCH] is github down

---
 updater.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/updater.py b/updater.py
index 57f1e38..35e97d7 100644
--- a/updater.py
+++ b/updater.py
@@ -2,6 +2,7 @@ import sys
 import os
 import shutil
 import json
+import time
 from pathlib import Path, PurePath
 import requests
 from bs4 import BeautifulSoup
@@ -145,6 +146,15 @@ def update_repos():
     for item in repo:
         if item.get('repo', None) is None:
             continue
+        repo_name = item['repo']
+        retries_left = 2
+        while retries_left > 0:
+            try:
+                update_repo(item)
+            except:
+                print(f"Couldn't update {repo_name}, retrying...")
+                time.sleep(1)
+                retries_left -= 1
         try:
             update_repo(item)
         except BaseException as e: