diff --git a/tools/merge-development-with-master.sh b/tools/merge-development-with-master.sh
index 15d3bcb39b..d590d32074 100755
--- a/tools/merge-development-with-master.sh
+++ b/tools/merge-development-with-master.sh
@@ -1,11 +1,14 @@
 #!/bin/bash
 set -e
 
+echo "Branch: $TRAVIS_BRANCH"
+echo "Commit: $TRAVIS_COMMIT"
+
 if [ "$TRAVIS_BRANCH" != "development" ]; then
   exit 0;
 fi
 
 git update-ref HEAD master
 git checkout master
-git merge $TRAVIS_COMMIT
+git merge "$TRAVIS_COMMIT"
 git push "https://${GH_TOKEN}@github.com/babel/babel"