Improve the docs commit message a bit

diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh
index 9fafad3..086982b 100755 (executable)
--- a/.ci/deploy-docs.sh
+++ b/.ci/deploy-docs.sh
@@ -30,5 +30,5 @@ git reset upstream/master
 
 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