[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/02: hydra/berlin: Change hostname.
|
From: |
Ricardo Wurmus |
|
Subject: |
02/02: hydra/berlin: Change hostname. |
|
Date: |
Tue, 16 Jun 2020 16:16:45 -0400 (EDT) |
rekado pushed a commit to branch master
in repository maintenance.
commit 7df1768e2fb9dc96dd25f297af7b66a6f6b931f5
Author: Ricardo Wurmus <rekado@elephly.net>
AuthorDate: Tue Jun 16 22:16:21 2020 +0200
hydra/berlin: Change hostname.
* hydra/berlin.scm: Retire guixsd.org.
---
hydra/berlin.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index 85cd2e3..b7fef0a 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -99,7 +99,7 @@ Happy hacking!\n"))
(operating-system
- (host-name "berlin.guixsd.org")
+ (host-name "berlin.guix.gnu.org")
(timezone "Europe/Berlin")
(locale "en_US.utf8")