Browse Source

chore(travis): properly deploy a branch for jenkins

Probably works.

Apparently directly pushing tag results in a new tag.
reviewable/pr4023/r1
Zetok Zalbavar 9 years ago
parent
commit
a444ee1fc2
No known key found for this signature in database
GPG Key ID: C953D3880212068A
  1. 12
      .travis/deploy-jenkins-branch.sh

12
.travis/deploy-jenkins-branch.sh

@ -20,5 +20,13 @@ @@ -20,5 +20,13 @@
# release build
#
# should be run only when a new tag is pushed
git push --force "https://${GH_DEPLOY_JENKINS}@github.com/qTox/qTox.git" \
$(git describe --abbrev=0):for-jenkins-release
set -eu -o pipefail
main() {
git clone https://github.com/qTox/qTox.git qTox
cd qTox
git checkout $(git describe --abbrev=0) -b for-jenkins-release
git push --force "https://${GH_DEPLOY_JENKINS}@github.com/qTox/qTox.git"
}
main

Loading…
Cancel
Save