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