diff --git a/ci/deploy_from_travis.sh b/ci/deploy_from_travis.sh
index 3f0f0641a9..3f7de2b9bc 100755
--- a/ci/deploy_from_travis.sh
+++ b/ci/deploy_from_travis.sh
@@ -2,7 +2,7 @@
 
 set -e
 
-SHA=`git rev-parse --verify HEAD`
+SHA=`git rev-parse --short --verify HEAD`
 
 git config user.name "$COMMIT_AUTHOR"
 git config user.email "$COMMIT_AUTHOR_EMAIL"