Extend gitignore handling to respect .git/info/exclude

Resolves: #230

1 files changed, 6 insertions, 0 deletions

diff --git a/script/workspace.lua b/script/workspace.lua
index d2699851..0795877c 100644
--- a/script/workspace.lua
+++ b/script/workspace.lua
@@ -58,6 +58,12 @@ function mt:buildScanPattern()
                 pattern[#pattern+1] = line
             end
         end
+        buf = io.load(self.root / '.git' / 'info' / 'exclude' )
+        if buf then
+            for line in buf:gmatch '[^\r\n]+' do
+                pattern[#pattern+1] = line
+            end
+        end
     end
     -- config.workspace.library
     for path in pairs(config.config.workspace.library) do