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