From 2b434bb6143d7f75230cdca439f582f62068627e Mon Sep 17 00:00:00 2001
From: kalipso <kalipso@c3d2.de>
Date: Tue, 3 Nov 2026 17:53:31 +0100
Subject: [PATCH] [portal] use gatekeeper api port 8000

---
 machines/portal/configuration.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/machines/portal/configuration.nix b/machines/portal/configuration.nix
index 3e57480..c5bdee9 100644
--- a/machines/portal/configuration.nix
+++ b/machines/portal/configuration.nix
@@ -36,7 +36,7 @@ in
   services.portal = {
     enable = true;
     #TODO: we should use FQDN like gatekeeper.hq.malobeo.org
-    gatekeeperHost = "${hosts.malobeo.hosts.goldman.network.address}";
+    gatekeeperHost = "${hosts.malobeo.hosts.goldman.network.address}:8000";
     gatekeeperScheme = "http";
   };
   networking.firewall.allowedTCPPorts = [ 8080 ];