diff --git a/Manual_tools/dont_submit b/Manual_tools/dont_submit
new file mode 100644
index 00000000000..72e8ffc0db8
--- /dev/null
+++ b/Manual_tools/dont_submit
@@ -0,0 +1 @@
+*