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