From ea32c28a106d15149d8666469c99ae33fb170b38 Mon Sep 17 00:00:00 2001
From: Cyril Diagne <diagne.cyril@gmail.com>
Date: Sun, 16 Feb 2020 19:54:22 +0100
Subject: [PATCH] only commit if something has changed

---
 dev/release.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dev/release.sh b/dev/release.sh
index 5e97323..7444bde 100755
--- a/dev/release.sh
+++ b/dev/release.sh
@@ -42,6 +42,8 @@ rm scripts/*.bak
 git add scripts/get-cli.sh
 
 if git diff --exit-code; then
+  echo "nothing to commit"
+else
   git commit -m "update get script to version $VERSION"
 fi