This commit is contained in:
Joey Hess 2020-12-15 16:35:06 -04:00
parent 117d270bb4
commit 2abda21123
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
2 changed files with 3 additions and 1 deletions

View file

@ -210,7 +210,7 @@ fromOk :: Remote -> Key -> Annex Bool
fromOk src key
-- check if the remote contains the key, when it can be done cheaply
| Remote.hasKeyCheap src =
Remote.hasKey src key >>=
Remote.hasKey src key >>= \case
Right True -> return True
-- Don't skip getting the key just because the
-- remote no longer contains it if the log