diff --git a/benchmark/.gitignore b/benchmark/.gitignore
index d88626fba1efe47a43b385ef0fbbff51950396f1..43824c2fe34a64a9be9527c9b969959770000acc 100644
--- a/benchmark/.gitignore
+++ b/benchmark/.gitignore
@@ -1,2 +1,3 @@
 __pycache__
 build-times.log*
+gitlab-extract