diff --git a/scripts/git.orderfile b/scripts/git.orderfile
index 1f747b5..7cf22e0 100644
--- a/scripts/git.orderfile
+++ b/scripts/git.orderfile
@@ -22,6 +22,9 @@
 qapi/*.json
 qga/*.json
 
+# semantic patches
+*.cocci
+
 # headers
 *.h