diff --git a/deploy_app.sh b/deploy_app.sh
index 761cfb141f7915359a55a5e050881dea5e35f4a6..1df019207370d9632ab7e0230095d632f586b901 100755
--- a/deploy_app.sh
+++ b/deploy_app.sh
@@ -267,6 +267,10 @@ function deploy(){
             civalue=$( cat "$cijson" | jq ".${mykey}" | tr -d '"')
             echo "ci-${mykey}=$civalue" >> "$replacefile"
     done
+
+    # "revision" must be the last mykey that this works:
+    echo "ci-rev-short-sha=${civalue:0:8}" >> "$replacefile"
+
     ls -l "$replacefile"