This commit is contained in:
voidlizard 2025-01-22 17:46:56 +03:00
parent 9c1dad1c5e
commit 873cfbeacd
1 changed files with 4 additions and 2 deletions

View File

@ -151,9 +151,11 @@ importGitRefLog = withStateDo $ ask >>= \case
notice $ "wait some time..." <+> parens (pretty down)
case d of
Nothing -> again (ImportWait (Just down) next)
Just n | down < n -> pause @'Seconds 3 >> again next
| otherwise -> pause @'Seconds 3 >> again next
_ -> pure Nothing
pause @'Seconds 3
again $ ImportWait (Just down) next
ImportStart -> do