merge with git-repair
This commit is contained in:
parent
423e933800
commit
b1ed98636b
5 changed files with 12 additions and 5 deletions
|
@ -8,6 +8,7 @@
|
|||
module Git.Repair (
|
||||
runRepair,
|
||||
runRepairOf,
|
||||
successfulRepair,
|
||||
cleanCorruptObjects,
|
||||
retrieveMissingObjects,
|
||||
resetLocalBranches,
|
||||
|
@ -452,6 +453,9 @@ runRepair forced g = do
|
|||
putStrLn "No problems found."
|
||||
return (True, S.empty, [])
|
||||
|
||||
successfulRepair :: (Bool, MissingObjects, [Branch]) -> Bool
|
||||
successfulRepair = fst3
|
||||
|
||||
runRepairOf :: FsckResults -> Bool -> Maybe FilePath -> Repo -> IO (Bool, MissingObjects, [Branch])
|
||||
runRepairOf fsckresult forced referencerepo g = do
|
||||
missing <- cleanCorruptObjects fsckresult g
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue