diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-05-11 16:03:50 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-05-11 16:05:01 -0400 |
commit | 54c524f1660e40e4b302279c7571cf2f9c9d5488 (patch) | |
tree | 6d0f7f20c7b0f8e0d175715c2b495e7a4b0b25ce /Command | |
parent | 60dfbb240d4db6cb1a6f8ca9cf71400d461d8aa5 (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.hs | 2 |
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) |