Nextra incremental upgrade #418

tstirrat15 · 2025-11-25T21:36:40Z

Description

This is a part of getting this repo up-to-date. We want to get to next 16, react 19, and nextra 4, but doing all of those at once wasn't particularly fruitful. This starts by getting us from nextra 2->3.

TODO

Fix link checker issues

Changes

Will annotate.

Testing

Review. Look at the preview and see that:

highlighting in code blocks still looks as expected (including custom grammars)
buttons/cards/etc still look good
links etc still work as expected

vercel · 2025-11-25T21:36:47Z

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Preview	Comments	Updated (UTC)
docs	Ready	Preview	Comment	Nov 26, 2025 2:58pm

tstirrat15

See comments

tstirrat15 · 2025-11-25T22:50:18Z

.github/workflows/cla.yaml

@@ -1,6 +1,6 @@
 ---
 name: "CLA"
-on:  # yamllint disable-line rule:truthy


I ran Prettier over the repo. There are lots of autofix changes like this.

tstirrat15 · 2025-11-25T22:50:49Z

.github/workflows/lint.yaml

        with:
          config-file: ".yamllint"
-      - uses: "pnpm/action-setup@v3"
+      - uses: "pnpm/action-setup@v4"


Simplifying pnpm installation according to current instructions from the pnpm docs

tstirrat15 · 2025-11-25T22:51:11Z

.github/workflows/lint.yaml

+      - name: "Check Formatting"
+        run: "pnpm run format:check"


Adding a prettier check to enforce formatting

tstirrat15 · 2025-11-25T22:51:36Z

components/nextra/Flexsearch.tsx

tstirrat15 · 2025-11-25T22:52:52Z

grammars/authzed.tmLanguage.json

I figured out that there isn't a reason for these to be in public, since they're only used at build time. I also ran prettier over them.

tstirrat15 · 2025-11-25T23:06:21Z

package.json

+    "nextra": "^3",
+    "nextra-theme-docs": "^3",


This was the thrust of this PR.

tstirrat15 · 2025-11-25T23:06:33Z

package.json

    "markdownlint-rule-max-one-sentence-per-line": "^0.0.2",
    "postcss": "^8.4.39",
-    "shiki": "^0.14.7",
+    "shiki": "^1.29.2",


This is the version used by v3 of Nextra.

tstirrat15 · 2025-11-25T23:07:07Z

theme.config.tsx

+  color: {
+    hue: { dark: 45, light: 290 },
+    saturation: { dark: 100, light: 100 },
+  },


primaryHue and primarySaturation became these.

tstirrat15 · 2025-11-25T23:07:19Z

theme.config.tsx

  banner: {
    dismissible: false,
-    text: <Banner />,
+    content: <Banner />,


Updating per type

tstirrat15 · 2025-11-25T23:07:56Z

theme.config.tsx

+        <title>{resolvedTitle}</title>
+        <meta name="description" content={desc} />
+        <meta property="og:title" content={resolvedTitle} />
+        <meta property="og:description" content={desc} />
+        <link
+          rel="canonical"
+          href={`https://authzed.com${
+            process.env.NEXT_PUBLIC_BASE_DIR ?? ""
+          }${asPath}`}
+        />


This was one of the more meaningful changes - rather than having a separate hook/property for SEO stuff, nextra v3 just uses head tag stuff. Please check my work here.

tstirrat15 · 2025-11-26T15:05:42Z

The link checker complaints are because I got rid of a page that you can't actually access. It's still technically a "link" on the button on the sidebar, but that's wrong and I don't really want to keep a page around just for that reason.

alecmerdler

🚀

vercel bot deployed to Preview November 25, 2025 21:36 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from bd7a2c6 to da14306 Compare November 25, 2025 22:41

vercel bot deployed to Preview November 25, 2025 22:43 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from da14306 to c83d074 Compare November 25, 2025 22:49

vercel bot deployed to Preview November 25, 2025 22:50 View deployment

tstirrat15 commented Nov 25, 2025

View reviewed changes

tstirrat15 force-pushed the nextra-incremental-upgrade branch from c83d074 to 708a8e6 Compare November 25, 2025 23:09

vercel bot deployed to Preview November 25, 2025 23:10 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from 708a8e6 to c4897f7 Compare November 26, 2025 13:31

vercel bot deployed to Preview November 26, 2025 13:32 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from c4897f7 to fa9b1ab Compare November 26, 2025 13:33

vercel bot deployed to Preview November 26, 2025 13:34 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from fa9b1ab to 47f8cea Compare November 26, 2025 13:35

vercel bot deployed to Preview November 26, 2025 13:36 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from 47f8cea to 1f8d1b0 Compare November 26, 2025 13:37

vercel bot deployed to Preview November 26, 2025 13:38 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from 1f8d1b0 to 5b5c951 Compare November 26, 2025 13:42

vercel bot deployed to Preview November 26, 2025 13:43 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from 5b5c951 to e88f75c Compare November 26, 2025 13:48

vercel bot deployed to Preview November 26, 2025 13:49 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from e88f75c to 460d198 Compare November 26, 2025 14:34

vercel bot deployed to Preview November 26, 2025 14:35 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch 2 times, most recently from a8125c0 to ea7dc05 Compare November 26, 2025 14:36

vercel bot deployed to Preview November 26, 2025 14:37 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from ea7dc05 to d6fdac4 Compare November 26, 2025 14:38

vercel bot deployed to Preview November 26, 2025 14:39 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from d6fdac4 to 677f72a Compare November 26, 2025 14:41

vercel bot deployed to Preview November 26, 2025 14:43 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from 677f72a to be5615c Compare November 26, 2025 14:47

vercel bot deployed to Preview November 26, 2025 14:48 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from be5615c to ab8e56f Compare November 26, 2025 14:49

vercel bot deployed to Preview November 26, 2025 14:50 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from ab8e56f to 8b7afc9 Compare November 26, 2025 14:51

vercel bot deployed to Preview November 26, 2025 14:52 View deployment

tstirrat15 force-pushed the nextra-incremental-upgrade branch from 8b7afc9 to 6909512 Compare November 26, 2025 14:53

vercel bot deployed to Preview November 26, 2025 14:54 View deployment

Nextra incremental upgrade

5874cdd

tstirrat15 force-pushed the nextra-incremental-upgrade branch from 6909512 to 5874cdd Compare November 26, 2025 14:57

vercel bot deployed to Preview November 26, 2025 14:58 View deployment

tstirrat15 marked this pull request as ready for review November 26, 2025 15:05

alecmerdler approved these changes Nov 26, 2025

View reviewed changes

tstirrat15 merged commit f18bbfb into main Nov 26, 2025
10 of 11 checks passed

tstirrat15 deleted the nextra-incremental-upgrade branch November 26, 2025 15:23

github-actions bot locked and limited conversation to collaborators Nov 26, 2025

Nextra incremental upgrade #418

Nextra incremental upgrade #418

Uh oh!

Conversation

tstirrat15 commented Nov 25, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Description

TODO

Changes

Testing

Uh oh!

vercel bot commented Nov 25, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

tstirrat15 left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

tstirrat15 commented Nov 26, 2025

Uh oh!

alecmerdler left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

tstirrat15 commented Nov 25, 2025 •

edited

Loading

vercel bot commented Nov 25, 2025 •

edited

Loading