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
 }