From 35d22e4a97c3e8884aff59deaef01c5f552c20a5 Mon Sep 17 00:00:00 2001
From: Duane Nykamp <nykamp@umn.edu>
Date: Wed, 31 Jul 2024 23:11:00 -0500
Subject: [PATCH] Nextra path does not include github repository name (#226)

---
 packages/docs-nextra/next.config.mjs | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/packages/docs-nextra/next.config.mjs b/packages/docs-nextra/next.config.mjs
index 20eb2ad09..76671ee12 100644
--- a/packages/docs-nextra/next.config.mjs
+++ b/packages/docs-nextra/next.config.mjs
@@ -118,19 +118,10 @@ const withNextra = nextraConfig({
 //     latex: true
 //   });
 //
-const isGithubActions = process.env.GITHUB_ACTIONS || false;
 
 let assetPrefix = "";
 let basePath = "";
 
-if (isGithubActions) {
-    // trim off `<owner>/`
-    const repo = process.env.GITHUB_REPOSITORY.replace(/.*?\//, "");
-
-    assetPrefix = `/${repo}/`;
-    basePath = `/${repo}`;
-}
-
 export default withNextra({
     output: "export",
     assetPrefix,