From bee0b7cdb7e93540d261d51b31b55dd3df0f5ca9 Mon Sep 17 00:00:00 2001
From: Paul Wessel <pwessel@hawaii.edu>
Date: Sun, 7 Jan 2024 14:19:37 +0100
Subject: [PATCH] Remove echo from the ssh call

---
 scripts/server-release.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/server-release.sh b/scripts/server-release.sh
index e92ed6b..77fbdb9 100755
--- a/scripts/server-release.sh
+++ b/scripts/server-release.sh
@@ -68,5 +68,5 @@ chmod +x /tmp/release.sh
 echo server-release.sh: scp /tmp/release.sh ${the_user}@${CANDIDATE_SERVER}:/tmp
 scp /tmp/release.sh ${the_user}@${CANDIDATE_SERVER}:/tmp
 
-# Execute the script via ssh on oceania [COMMENTED OUT VIA ECHO]
-echo server-release.sh: ssh ${the_user}@${CANDIDATE_SERVER} "/tmp/release.sh"
+# Execute the script via ssh on oceania
+ssh ${the_user}@${CANDIDATE_SERVER} "/tmp/release.sh"