diff --git a/.gitignore b/.gitignore
index ea5b20eb69..4b773e97ed 100644
--- a/.gitignore
+++ b/.gitignore
@@ -107,3 +107,6 @@ website/.docusaurus
 mypy.ini
 
 tools/run_eventserver.*
+
+#  Developer tools
+tools/dev_*