add refresh button (#1)

- add refresh button (92f1e954ddd9bedc4689fb361337db71d4cb454b)


Co-authored-by: Leandro von Werra <[email protected]>

app.py

@@ -125,4 +125,7 @@ for name, _ in name2repo[::-1]:
         height += name2num_milestones[name]
         fig.add_hline(y=height, line_width=1, line_color="grey")
 
-st.plotly_chart(fig, use_container_width=True)
+st.plotly_chart(fig, use_container_width=True)
+
+if st.button("Refresh"):
+    st.experimental_rerun()