adding push capability
Change-Id: I5b8d447fdf95ea9de9b31d5f1c24e8bdb5c14e69
diff --git a/Jenkinsfile b/Jenkinsfile
index 7fb2c2c..96e7812 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -58,7 +58,7 @@
createBranch('manifest', metadata['release_version'], env.BRANCH_NAME)
checkout changelog: false, poll: false, scm: [$class: 'GitSCM', branches: [[name: metadata['release_version'] ]], doGenerateSubmoduleConfigurations: false, extensions: [], submoduleCfg: [], userRemoteConfigs: [[credentialsId: 'dd9d4677-2415-4f82-8e79-99dcd530f023', url: 'ssh://jenkins@gerrit.opencord.org:29418/manifest']]]
sh returnStdout: true, script: 'git checkout ' + metadata['release_version']
- sh returnStdout: true, script: 'mv ' + env.JENKINS_HOME + '/tmp/manifest-' + env.BRANCH_NAME + '.xml default.xml'
+ sh returnStdout: true, script: 'cp ' + env.JENKINS_HOME + '/tmp/manifest-' + env.BRANCH_NAME + '.xml default.xml'
sh returnStdout: true, script: 'git push origin ' + metadata['release_version']
//TODO build and release onos apps