merge from git-repair
This commit is contained in:
parent
1711415145
commit
8217e97d88
1 changed files with 4 additions and 1 deletions
|
@ -513,7 +513,10 @@ runRepairOf fsckresult forced referencerepo g = do
|
||||||
else needforce S.empty
|
else needforce S.empty
|
||||||
)
|
)
|
||||||
| otherwise -> if forced
|
| otherwise -> if forced
|
||||||
then continuerepairs s
|
then ifM (checkIndex s g)
|
||||||
|
( continuerepairs s
|
||||||
|
, corruptedindex
|
||||||
|
)
|
||||||
else do
|
else do
|
||||||
putStrLn $ unwords
|
putStrLn $ unwords
|
||||||
[ show (S.size s)
|
[ show (S.size s)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue