From f98c66bd56f56ff726ab3ddd3401042db531d05d Mon Sep 17 00:00:00 2001
From: Moritz <moritz@schwrr.com>
Date: Sat, 8 Feb 2025 15:48:44 +0100
Subject: [PATCH 1/2] add portal to top navigation

---
 zudoku.config.tsx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/zudoku.config.tsx b/zudoku.config.tsx
index 7bf00b78..974a1931 100644
--- a/zudoku.config.tsx
+++ b/zudoku.config.tsx
@@ -60,6 +60,10 @@ const config: ZudokuConfig = {
       id: "docs",
       label: "Documentation",
     },
+    {
+      id: "dev-portal",
+      label: "Developer Portal",
+    },
     {
       id: "policies",
       label: "Policies & Handlers",

From 7eab26a6a8d609493b98174c2f4ab1cd1138a6d1 Mon Sep 17 00:00:00 2001
From: Moritz <moritz@schwrr.com>
Date: Sat, 8 Feb 2025 15:51:01 +0100
Subject: [PATCH 2/2] add portal to top navigation

---
 zudoku.config.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zudoku.config.tsx b/zudoku.config.tsx
index 974a1931..67c4414e 100644
--- a/zudoku.config.tsx
+++ b/zudoku.config.tsx
@@ -61,7 +61,7 @@ const config: ZudokuConfig = {
       label: "Documentation",
     },
     {
-      id: "dev-portal",
+      id: "devPortal",
       label: "Developer Portal",
     },
     {