summaryrefslogtreecommitdiff
path: root/Command
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2017-05-11 16:03:50 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2017-05-11 16:05:01 -0400
commit54c524f1660e40e4b302279c7571cf2f9c9d5488 (patch)
tree6d0f7f20c7b0f8e0d175715c2b495e7a4b0b25ce /Command
parent60dfbb240d4db6cb1a6f8ca9cf71400d461d8aa5 (diff)
de-Maybe remoteGitConfig
It's always set, so does not need to be a Maybe.
Diffstat (limited to 'Command')
-rw-r--r--Command/Sync.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Command/Sync.hs b/Command/Sync.hs
index 85bb8c105..332daca73 100644
--- a/Command/Sync.hs
+++ b/Command/Sync.hs
@@ -417,7 +417,7 @@ pushRemote o remote (Just branch, _) = stopUnless (pure (pushOption o) <&&> need
-- Do updateInstead emulation for remotes on eg removable drives
-- formatted FAT, where the post-update hook won't run.
postpushupdate
- | maybe False annexCrippledFileSystem (remoteGitConfig (Remote.gitconfig remote)) =
+ | annexCrippledFileSystem (remoteGitConfig (Remote.gitconfig remote)) =
case Git.repoWorkTree (Remote.repo remote) of
Nothing -> return True
Just wt -> ifM (Remote.Git.onLocal remote needUpdateInsteadEmulation)