From b8da38e1b9b219a8fb470baffe374909df84a1d7 Mon Sep 17 00:00:00 2001
From: danielefongo <danielefongo@gmail.com>
Date: Fri, 14 Feb 2020 14:59:16 +0100
Subject: [PATCH] add script for deploy

---
 scripts/publish.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 scripts/publish.sh

diff --git a/scripts/publish.sh b/scripts/publish.sh
new file mode 100755
index 0000000..994663f
--- /dev/null
+++ b/scripts/publish.sh
@@ -0,0 +1,15 @@
+#!/usr/bin/env sh
+PROJECT_DIR=$(cd $(dirname $0)/..; pwd -P)
+PROJECT_NAME=$(basename $PROJECT_DIR)
+TAG=$1
+
+cd ${PROJECT_DIR}
+
+sed -i -e "s|'com.github.DaikonWeb:daikon:.*'|'com.github.DaikonWeb:daikon:${TAG}'|g" build.gradle
+sed -i -e "s|'com.github.DaikonWeb:${PROJECT_NAME}:.*'|'com.github.DaikonWeb:${PROJECT_NAME}:${TAG}'|g" README.md
+sed -i -e "s|<version>.*</version>|<version>${TAG}</version>|g" README.md
+
+git commit -am "Release ${TAG}"
+git tag $TAG
+git push
+git push --tags