From 6a4387c9c909a01b109b80bc40dadfaea7c642ab Mon Sep 17 00:00:00 2001
From: Federico Grandi <fgrandi30@gmail.com>
Date: Fri, 1 May 2020 11:46:57 +0200
Subject: [PATCH] Minor log improvement

---
 src/entrypoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/entrypoint.sh b/src/entrypoint.sh
index de9a917..f207589 100755
--- a/src/entrypoint.sh
+++ b/src/entrypoint.sh
@@ -72,7 +72,7 @@ if ! git diff --cached --quiet --exit-code; then
     git push --set-upstream origin "${GITHUB_REF:11}"
 
     echo "::endgroup::"
-    echo "Finished."
+    echo "Task completed."
 else
     echo "::endgroup::"
     echo "Working tree clean. Nothing to commit."