diff --git a/tools/merge-development-with-master.sh b/tools/merge-development-with-master.sh
index 8d2c7f0d8d..15d3bcb39b 100755
--- a/tools/merge-development-with-master.sh
+++ b/tools/merge-development-with-master.sh
@@ -7,5 +7,5 @@ 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"