253526ee97
travis-ci: deploy master only after PR is merged
...
Without this, Travis CI will create two deploys, one for the PR and one
after the PR is merged. We only want the merged version to be deployed.
Deploy parent pom.
2017-05-30 22:39:35 +01:00
6b2c5f6e77
travis-ci: deploy even when from a pull request
2017-05-30 15:01:28 +01:00
a0d58fca81
travis-ci: verbose deploy
2017-05-29 20:31:22 +01:00
1dbc182352
travis--ci: batch import signing key
2017-05-28 17:38:59 +01:00
883aa4342e
travis-ci: replace signing key to match passphrase
2017-05-28 17:25:20 +01:00
c8578b4659
travis-ci: update location of travis-settings.xml
2017-05-28 16:29:56 +01:00
3a9670ad85
travis-ci: use a shell-safe password
2017-05-28 16:26:12 +01:00
44c7c0bcb3
travis-ci: make shell scripts executable (again)
2017-05-28 15:06:37 +01:00
2706045dfb
travis-ci: updated and add encrypted gpg credentials
2017-05-28 14:54:23 +01:00
