01/03: hydra: honeycomb: Use public IPs in deploy file.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository maintenance.

commit b9929357e3125b9b39117cc75877376dee2aedb8
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Sat Jun 11 23:14:14 2022 +0200

    hydra: honeycomb: Use public IPs in deploy file.
    
    * hydra/deploy-honeycomb.scm: Write public IPs to correspond to the
    "Match" block in their sshd config.
---
 hydra/deploy-honeycomb.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/hydra/deploy-honeycomb.scm b/hydra/deploy-honeycomb.scm
index ee6783b..24a2a04 100644
--- a/hydra/deploy-honeycomb.scm
+++ b/hydra/deploy-honeycomb.scm
@@ -8,7 +8,7 @@
   (environment managed-host-environment-type)
   (configuration
    (machine-ssh-configuration
-    (host-name "10.0.0.8")
+    (host-name "141.80.167.133")                  ;or 10.0.0.8
     (build-locally? #false)
     (system "aarch64-linux")
     (host-key "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIH6egPrEfVFXHWHROySUC0jh75GJfZPyBuQKA3p13wXC"))))
@@ -19,7 +19,7 @@
   (environment managed-host-environment-type)
   (configuration
    (machine-ssh-configuration
-    (host-name "10.0.0.9")
+    (host-name "10.0.0.9")                        ;XXX: public IP?
     (build-locally? #false)
     (system "aarch64-linux")
     (host-key "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFjixKdkTBoEUflxX/n/flhg7GoqbfkfoVrhD0GROZxl"))))
@@ -30,7 +30,7 @@
   (environment managed-host-environment-type)
   (configuration
    (machine-ssh-configuration
-    (host-name "10.0.0.10")
+    (host-name "141.80.167.188")                  ;or 10.0.0.10
     (build-locally? #false)
     (system "aarch64-linux")
     (host-key "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIAiXopZt/wTTfvLhp3h5QdmvDBZJwJfoDvXPevNFalBu")))))