Do not include cocci/ data in tarball

diff --git a/.gitattributes b/.gitattributes
index bc10d9a4ed4057ce59869819a2ca2d749d6b3af6..2e7e9b4f0f6e9a7589076095bb02d4f2d28129b2 100644 (file)
--- a/.gitattributes
+++ b/.gitattributes
@@ -20,6 +20,7 @@ dangerfile.py                  export-ignore
 /.mailmap                       export-ignore
 /.reuse/**                      export-ignore
 /ci                             export-ignore
+/cocci/**                       export-ignore
 /conftools                      export-ignore
 /doc/design                     export-ignore
 /doc/dev                        export-ignore