From 50550da3c2acde7aebff13018b64c7957b0bc9b2 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 16 Jul 2020 23:11:30 +0530
Subject: adjust devrelease script

---
 contrib/devrelease.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'contrib')

diff --git a/contrib/devrelease.sh b/contrib/devrelease.sh
index 4203349f8..734722568 100755
--- a/contrib/devrelease.sh
+++ b/contrib/devrelease.sh
@@ -19,4 +19,7 @@ mkdir -p prebuilt/$devtag
 cp dist/standalone/taler-wallet-android.js prebuilt/$devtag/
 cd prebuilt
 git add -A $devtag
-git commit -m "prebuilt files for $devtag"
+git commit -m "prebuilt files for $devtag" || true
+
+echo "please push:"
+echo "git push --tags origin master prebuilt"
-- 
cgit v1.2.3