Deploying to a specific commit

diff --git a/share/hydra/deploy b/share/hydra/deploy
index 81f29ca54115cbda2e42f89640acee517a631364..93f2b51ad47feb23b08981173e318bc77a86c378 100755 (executable)
--- a/share/hydra/deploy
+++ b/share/hydra/deploy
@@ -9,6 +9,7 @@ hydra_config_load
 
 # Command line arguments
 ORIGIN="$1"
+COMMIT="1c975d65f221eb78baf2808893c059091740da2a"
 
 # Build node list
 NODES="`hydra $HYDRA nodes`"
@@ -19,17 +20,17 @@ if [ -z "$ORIGIN" ]; then
 fi
 
 # Deploy
-# TODO: code signature
 for node in $NODES; do
   echo "Deploying to $node..."
   ssh -o ConnectTimeout=15 $node <<EOF
   ##### BEGIN REMOTE SCRIPT #####
   if [ ! -d /usr/local/hydra ]; then
     sudo git clone $ORIGIN /usr/local/hydra
+    ( cd /usr/local/hydra ; git reset --hard $COMMIT )
     sudo ln -s /usr/local/hydra/hydra /usr/local/sbin/hydra
     sudo ln -s /usr/local/hydra/hydra /usr/local/sbin/hydractl
   else
-    ( cd /usr/local/hydra && sudo git pull )
+    ( cd /usr/local/hydra ; sudo git pull ; git reset --hard $COMMIT )
   fi
   ##### END REMOTE SCRIPT #######
 EOF