Added filter for .git directories

This commit is contained in:
Chris 2017-01-10 15:16:36 +01:00
parent bf12eb7b50
commit 30f09e282d

View File

@ -198,6 +198,10 @@ class Manifest
log_warn("Unsupported source type: %s", $source->type); log_warn("Unsupported source type: %s", $source->type);
} }
} }
$items = array_filter($items, function ($item) {
if (fnmatch("*/.git/*", $item->src)) return false;
return true;
});
return $items; return $items;
} }