diff --git a/Jenkinsfile b/Jenkinsfile index f0219feb84a..3fa3a8f033b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -339,13 +339,13 @@ pipeline { echo "newSWTNativesTag: ${newSWTNativesTag}" sh """ # Check for the master-branch as late as possible to have as much of the same behaviour as possible - if [[ '${BRANCH_NAME}' == master ]] || [[ '${BRANCH_NAME}' =~ R[0-9]+_[0-9]+(_[0-9]+)?_maintenance ]]; then + if [[ '${BRANCH_NAME}' == 'PR-956' ]] || [[ '${BRANCH_NAME}' =~ R[0-9]+_[0-9]+(_[0-9]+)?_maintenance ]]; then if [[ ${params.skipCommit} != true ]]; then #Don't rebase and just fail in case another commit has been pushed to the master/maintanance branch in the meantime pushd eclipse.platform.swt - git push origin HEAD:refs/heads/${BRANCH_NAME} + git push origin HEAD:refs/heads/test-lfs-pushing git push origin refs/tags/${newSWTNativesTag} popd