pipeline.groovy
changeset 154 bca6821cadad
parent 129 b94e3e84adf9
equal deleted inserted replaced
153:b3ffe65e5cf6 154:bca6821cadad
   130     /*
   130     /*
   131      * Check if there are changes to be pushed to upstream. If so,
   131      * Check if there are changes to be pushed to upstream. If so,
   132      * ask user to approve that push
   132      * ask user to approve that push
   133      */
   133      */
   134     if ( changes() ) {
   134     if ( changes() ) {
   135         def integrate = input(message: 'Integrate all staged changes to upstream?',
   135         def integrate = false;
   136                                 parameters: [
   136 
       
   137         if (env.JENKINS_URL == "https://swing.fit.cvut.cz/jenkins/") {
       
   138             integrate = true;
       
   139         } else {
       
   140             integrate = input(message: 'Integrate all staged changes to upstream?',
       
   141                               parameters: [
   137                                     booleanParam(name: "Integrate changes",
   142                                     booleanParam(name: "Integrate changes",
   138                                          description: 'If checked, all staged changes will be pushed to an upstream repository',
   143                                          description: 'If checked, all staged changes will be pushed to an upstream repository',
   139                                          defaultValue: true)]);
   144                                          defaultValue: true)]);
       
   145         }
   140         if ( integrate ) {
   146         if ( integrate ) {
   141             push()
   147             push()
   142         }
   148         }
   143     }
   149     }
   144 }
   150 }