From 4182896ba7fab56ebb2eb672ab59a75cab4fd31e Mon Sep 17 00:00:00 2001 From: Tianon Gravi Date: Fri, 3 Jun 2016 10:52:03 -0700 Subject: [PATCH] Pipe "git merge -q" output to /dev/null since it's not appropriately quiet in the face of file removals --- test-pr.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test-pr.sh b/test-pr.sh index 5cbe2e668..f2fc936da 100755 --- a/test-pr.sh +++ b/test-pr.sh @@ -58,7 +58,7 @@ else git config user.name 'nobody' git config user.email 'nobody@nowhere.noplace' git fetch -q origin "pull/$pull/head:pr-$pull" - git merge -q --no-edit "pr-$pull" + git merge -q --no-edit "pr-$pull" > /dev/null commit="$(git log -1 --format=format:%h "pr-$pull")" fi