catch bad milestones and reinstate refresh button (#2)

- catch bad milestones and reinstate refresh button (7b04d820848564ba04cdab72e3dfe47fe0ea59bc)


Co-authored-by: Leandro von Werra <lvwerra@users.noreply.huggingface.co>

app.py

@@ -20,29 +20,36 @@ name2num_milestones = dict()
 g = Github(os.environ.get('github'))
 df = list()
 all_status = list()
+bad_milestones = list()
+
 
 for name, repo_name in name2repo:
     repo = g.get_repo(repo_name)
     num_milestones = 0
     for milestone in repo.get_milestones():
-        num_milestones += 1
-        desc = dict()
-        for line in milestone.description.split('\n'):
-            tmp = line.split(":")
-            if len(tmp) > 1:
-                key = tmp[0].lower()
-                value = tmp[1].strip()
-                if key == 'status':
-                    value = value.lower()
-                desc[key] = value
-        task_name = f"""<a href="https://www.github.com/{repo_name}/milestone/{milestone.number}", target="_black">{milestone.title}</a>"""
-        if desc['status'] not in all_status:
-            all_status.append(desc['status'])
-        df.append(dict(Task=task_name, 
-                       Start=desc['start date'], 
-                       Finish=milestone.due_on.strftime('%Y-%m-%d'), 
-                       Resource=desc['status'], 
-                       Description=desc['leader']))
+        try:
+            num_milestones += 1
+            desc = dict()
+            for line in milestone.description.split('\n'):
+                tmp = line.split(":")
+                if len(tmp) > 1:
+                    key = tmp[0].lower()
+                    value = tmp[1].strip()
+                    if key == 'status':
+                        value = value.lower()
+                    desc[key] = value
+            task_name = f"""<a href="https://www.github.com/{repo_name}/milestone/{milestone.number}", target="_black">{milestone.title}</a>"""
+            if desc['status'] not in all_status:
+                all_status.append(desc['status'])
+            df.append(dict(Task=task_name, 
+                           Start=desc['start date'], 
+                           Finish=milestone.due_on.strftime('%Y-%m-%d'), 
+                           Resource=desc['status'], 
+                           Description=desc['leader']))
+        except:
+            num_milestones -= 1
+            task_name = f"""<a href="https://www.github.com/{repo_name}/milestone/{milestone.number}", target="_black">{milestone.title}</a>"""
+            bad_milestones.append(task_name)
     name2num_milestones[name] = num_milestones
 
 copy_df = copy.deepcopy(df)
@@ -127,5 +134,10 @@ for name, _ in name2repo[::-1]:
 
 st.plotly_chart(fig, use_container_width=True)
 
-# if st.button("Refresh"):
-#     st.experimental_rerun()
+if len(bad_ms):
+    with st.expander("Bad Milestones"):
+        for bms in bad_milestones:
+            st.markdown(bms + "\n\n", unsafe_allow_html=True)
+
+if st.button("Refresh"):
+    st.experimental_rerun()