got private repos really working
This new TODO will need private indexes to resolve; until then the private journal has to be checked when private UUIDs are known.
This commit is contained in:
parent
d0c5f6d2f0
commit
c687eae80b
1 changed files with 4 additions and 1 deletions
|
@ -213,6 +213,9 @@ updateTo' pairs = do
|
||||||
return $ UpdateMade
|
return $ UpdateMade
|
||||||
{ refsWereMerged = not (null tomerge)
|
{ refsWereMerged = not (null tomerge)
|
||||||
, journalClean = journalclean
|
, journalClean = journalclean
|
||||||
|
-- TODO need private index, then this can be
|
||||||
|
-- removed
|
||||||
|
&& not privateUUIDsKnown
|
||||||
}
|
}
|
||||||
where
|
where
|
||||||
excludeset s = filter (\(r, _) -> S.notMember r s)
|
excludeset s = filter (\(r, _) -> S.notMember r s)
|
||||||
|
|
Loading…
Add table
Reference in a new issue