From be42a7b128769f216aea0b3c741eba3854a86a7b Mon Sep 17 00:00:00 2001 From: "e.gavrin" Date: Tue, 5 Aug 2014 14:48:32 +0400 Subject: [PATCH] fix formatting. add commit message --- tools/push.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/push.sh b/tools/push.sh index a7fa4ced2..a2263648c 100755 --- a/tools/push.sh +++ b/tools/push.sh @@ -56,8 +56,10 @@ echo for commit_hash in $commits_to_push do echo " > Testing $commit_hash" + echo -n " > " + git log --pretty=format:"%H %s" | grep $commit_hash | grep -o " .*" echo - + git checkout $commit_hash >&/dev/null status_code=$? if [ $status_code -ne 0 ]