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