diff --git a/525e503b98ac9ee40f906bdf86c9cf31bb2c7513 b/525e503b98ac9ee40f906bdf86c9cf31bb2c7513 new file mode 100644 index 0000000..1ccf30b --- /dev/null +++ b/525e503b98ac9ee40f906bdf86c9cf31bb2c7513 @@ -0,0 +1 @@ +jenkins_trigger: false