tweaks
This commit is contained in:
parent
1118b4a646
commit
9c7b3dce9e
2 changed files with 13 additions and 9 deletions
|
@ -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"
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue