branch master updated: hydra: harbourfront: Change DNS servers.

[Andreas Enge]

This is an automated email from the git hooks/post-receive script.

andreas pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new e1c8649  hydra: harbourfront: Change DNS servers.
e1c8649 is described below

commit e1c86496d7a3465334ece3843e84481151a36fc0
Author: Andreas Enge <andreas@enge.fr>
AuthorDate: Mon Oct 16 19:12:09 2023 +0200

    hydra: harbourfront: Change DNS servers.
    
    * hydra/harbourfront.scm (operating-system): Change name server entries.
---
 hydra/harbourfront.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/hydra/harbourfront.scm b/hydra/harbourfront.scm
index 2551187..adbd6de 100644
--- a/hydra/harbourfront.scm
+++ b/hydra/harbourfront.scm
@@ -66,7 +66,9 @@
                                (destination "default")
                                (gateway "147.210.17.254"))))
                          (name-servers
-                           '("147.210.16.143" "147.210.16.214")))))
+                           '("147.210.245.1"
+                             "147.210.245.11"
+                             "147.210.245.111")))))
                    (service openssh-service-type
                      (openssh-configuration
                        (permit-root-login 'prohibit-password)