try different merging approach

Jenkinsfile

@@ -82,7 +82,7 @@ pipeline {
                   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'''
+                  git push -u origin master'''
         }
       }
     }