Add stage.grisp.io domain

grisp · Jan 29, 2024 · b60918e · b60918e
1 parent 183c635
commit b60918e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/grisp/default/common/deploy/files/erl_inetrc b/grisp/default/common/deploy/files/erl_inetrc
@@ -2,7 +2,8 @@
 
 % Add hosts
 {host, {149,248,205,211}, ["grisp.io"]}.
-{host, {212,25,1,1},     ["0.europe.pool.ntp.org"]}.
+{host, {37,16,30,91},     ["stage.grisp.io"]}.
+{host, {212,25,1,1},      ["0.europe.pool.ntp.org"]}.
 
 % Do not monitor the hosts file
 {hosts_file, ""}.