From 33addd765d13f7e9c5c88751c2eb78de13db5300 Mon Sep 17 00:00:00 2001
From: Ko van der Sloot <K.vanderSloot@let.ru.nl>
Date: Thu, 16 May 2019 17:44:38 +0200
Subject: [PATCH] cleaner messages

---
 check-all | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/check-all b/check-all
index 0f4bd64..f7afd53 100755
--- a/check-all
+++ b/check-all
@@ -14,12 +14,12 @@ do
 	branch=`git branch | grep \* | cut -d ' ' -f2`
 	if [ $branch != "master" ];
 	then
-	    echo $dir " $branch OK"
+	    echo $dir "[$branch]     OK"
 	fi
 	git diff-index --exit-code --quiet HEAD
 	if [ $? -ne 0 ];
 	then
-	  echo "$dir needs git action"
+	  echo "$dir [$branch] needs git action"
 	fi
 	popd > /dev/null
     fi