From ac65ee87d55ee19ba688cabbe7a19f4322e81565 Mon Sep 17 00:00:00 2001
From: Heat Hamilton <55773810+heatlikeheatwave@users.noreply.github.com>
Date: Thu, 1 Feb 2024 13:41:44 -0500
Subject: [PATCH] added permanent: true to fix dev portal build error (#4338)

---
 website/redirects.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/website/redirects.js b/website/redirects.js
index a555260534..954a05ae44 100644
--- a/website/redirects.js
+++ b/website/redirects.js
@@ -157,9 +157,11 @@ module.exports = [
   {
     source: '/boundary/docs/configuration/worker/kms-worker',
     destination: '/boundary/docs/configuration/worker/worker-configuration',
+    permanent: true,
   },
   {
     source: '/boundary/docs/configuration/worker/pki-worker',
-    destination: '/boundary/docs/configuration/worker/worker-configuration'
+    destination: '/boundary/docs/configuration/worker/worker-configuration',
+    permanent: true,
   },
 ]