4 commits

Author	SHA1	Message	Date
Paul Campbell	1e17ffdde3	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.	2017-05-30 22:41:53 +01:00
Paul Campbell	12a0e72758	travis-ci: deploy master even when a pull request	2017-05-30 20:52:29 +01:00
Paul Campbell	5e7bf3df8d	travis: more verbose deploy	2017-05-28 20:45:34 +01:00
Paul Campbell	8a5e0badb0	travis: enable deploy to nexus	2017-05-28 20:32:53 +01:00