Switch to CircleCI

2018-05-17 11:31:51 -05:00
parent d4539f4ca8
commit 3a54ee63a1
5 changed files with 114 additions and 47 deletions
--- a/deploy.bash
+++ b/deploy.bash
@@ -0,0 +1,7 @@
+#!/bin/bash -x
+
+if [ "${CIRCLE_BRANCH}" == "master" ]; then
+	mvn -Pdistribute,snapshot,docs clean deploy
+else
+	echo "We only deploy 'master' branch"
+fi