revert

Jenkinsfile

@@ -80,9 +80,7 @@ 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 master'''
+                  git push origin HEAD:master'''
         }
       }
     }