public
/
mirror-checker
29
1
Fork 2
Code Issues 5 Pull Requests 1 Projects Releases Wiki Activity

implement retry #6

Merged
r389li merged 1 commits from y266shen/mirror-checker:feature-retry into master 2022-03-26 20:24:42 -04:00
Conversation 0 Commits 1 Files Changed 1 +31 -9
y266shen commented 2022-03-26 20:17:57 -04:00
Owner
Copy Link

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
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
y266shen added 1 commit 2022-03-26 20:17:58 -04:00
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
r389li merged commit 4a3cedfb07 into master 2022-03-26 20:24:42 -04:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
  
BUG

   
Feature

   
High Priority

   
Low Priority

   
Medium Priority
No Label
BUG
Feature
High Priority
Low Priority
Medium Priority
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: public/mirror-checker#6
No description provided.
Delete Branch "y266shen/mirror-checker:feature-retry"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?