diff options
Diffstat (limited to 'Remote.hs')
-rw-r--r-- | Remote.hs | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -231,6 +231,9 @@ showLocations key exclude nolocmsg = do ppuuidswanted <- Remote.prettyPrintUUIDs "wanted" uuidswanted ppuuidsskipped <- Remote.prettyPrintUUIDs "skipped" uuidsskipped showLongNote $ message ppuuidswanted ppuuidsskipped + ignored <- filter (remoteAnnexIgnore . gitconfig) <$> remoteList + unless (null ignored) $ + showLongNote $ "(Note that these git remotes have annex-ignore set: " ++ unwords (map name ignored) ++ ")" where filteruuids l x = filter (`notElem` x) l message [] [] = nolocmsg |