jeffreycwitt / tei-web-editor

GNU General Public License v3.0
23 stars 5 forks source link

after forking, it can take a while for github api to update. Need better messaging to user. #18

Open jeffreycwitt opened 6 years ago

jeffreycwitt commented 6 years ago

After forking (especially after forking a sizeable repository), it can take a while for github api to update. We need to provide better messaging to user about how to wait and how long to wait.