implement retry #6

Merged
r389li merged 1 commits from y266shen/mirror-checker:feature-retry into master 2022-03-26 20:24:42 -04:00

1 Commits

Author SHA1 Message Date
Yiao Shen 76f7863a85
main: retry 3 times before reporting errors
- modify `check_project` function so that it returns error reason
  string or returns None
- add some type annotations
2022-03-26 20:13:57 -04:00