mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: bd9f549e | patch | commit | ignore whitespace
vharseko
21.25.2018 aad65fa68a19b93188a5e086c437dd7ba38284c1 
remove git push
1 files modified
2 ■■■■■ changed files
.travis.yml 2 ●●●●● patch | view | raw | blame | history 
 .travis.yml


@@ -7,7 +7,7 @@


      - git config --local user.name "OpenIdentityPlatform Community"


      - git config --local user.email "open-identity-platform-opendj@googlegroups.com"


      - git checkout -f $TRAVIS_BRANCH


      - mvn -DreleaseVersion="$git_version" -DignoreSnapshots=true  -DpushChanges=false --batch-mode release:prepare && git push 


      - mvn -DreleaseVersion="$git_version" -DignoreSnapshots=true  -DpushChanges=false --batch-mode release:prepare


    deploy:


      provider: releases


      draft: false