adding push capability
Change-Id: Ic5c806582cd0861db3c4181e498f2f3cc9f94e80
diff --git a/Jenkinsfile b/Jenkinsfile
index 4d4dce6..7fb2c2c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -58,8 +58,8 @@
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: 'cp ' + env.JENKINS_HOME + '/tmp/manifest-' + env.BRANCH_NAME + '.xml default.xml'
- //TODO push new bits to manifest repo
-
+ sh returnStdout: true, script: 'mv ' + 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
}