diff --git a/Jenkinsfile b/Jenkinsfile
index 1bc22eb5f..edb6b2849 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,6 @@
 pipeline {
   agent any
+  properties([pipelineTriggers([[$class: 'GitHubPushTrigger'], pollSCM('H/15 * * * *')])])
   stages {
     stage('Prepare') {
       steps {