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