diff options
| author |  Joey Hess <joey@kitenet.net> | 2010-10-28 12:15:21 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2010-10-28 12:15:21 -0400 |
| commit | 9c7b3dce9e8f964ed60dd45bca580a46ff8a5ed5 (patch) | |
| tree | 6c03ee53e3b0936839bb36c0548c2a700d582847 /Remotes.hs | |
| parent | 1118b4a6466f3453f5c517ff8eadbfbd1a4895f1 (diff) | |
tweaks
Diffstat (limited to 'Remotes.hs')
| -rw-r--r-- | Remotes.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Remotes.hs b/Remotes.hs index 665de38ae..bee98a6f3 100644 --- a/Remotes.hs +++ b/Remotes.hs @@ -139,10 +139,10 @@ repoNotIgnored r = do let name = if (not $ null fromName) then fromName else toName if (not $ null name) then return $ match name - else return $ notignored g + else return $ not $ ignored g where match name = name == Git.repoRemoteName r - notignored g = "true" /= config g + ignored g = Git.configTrue $ config g config g = Git.configGet g configkey "" configkey = "remote." ++ (Git.repoRemoteName r) ++ ".annex-ignore" |