Improve the docs commit message a bit

.ci/deploy-docs.sh

diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh
index 9fafad3..086982b 100755
--- a/.ci/deploy-docs.sh
+++ b/.ci/deploy-docs.sh
@@ -30,5 +30,5 @@
 
 touch .
 git add -A .
-git commit -m "Rebuild docs for $REVISION"
+git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION"
 git push -q upstream HEAD:master