diff --git a/.gitattributes b/.gitattributes index bc10d9a4ed..2e7e9b4f0f 100644 --- 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