try different merging approach

Jenkinsfile

@@ -80,6 +80,8 @@ pipeline {
             sh '''git config user.name "Jenkins Server"
                   git config user.email jenkins@confdroid.com
                   echo `git add -A && git commit -am "recommit for updates in build $BUILD_NUMBER"`
+                  git checkout master
+                  git merge jenkins
                   git push origin HEAD:master'''
         }
       }