diff --git a/3bfefe2e9386ddbbfa4dd7d081fd8044d28545a3 b/3bfefe2e9386ddbbfa4dd7d081fd8044d28545a3 new file mode 100644 index 000000000..1ccf30b8b --- /dev/null +++ b/3bfefe2e9386ddbbfa4dd7d081fd8044d28545a3 @@ -0,0 +1 @@ +jenkins_trigger: false