Skip to content
This repository was archived by the owner on Jul 30, 2025. It is now read-only.

[nextra] banner remove jp#800

Merged
gregnazario merged 2 commits intomainfrom
revert-banner-language
Jan 30, 2025
Merged

[nextra] banner remove jp#800
gregnazario merged 2 commits intomainfrom
revert-banner-language

Conversation

@hariria
Copy link
Collaborator

@hariria hariria commented Jan 30, 2025

Description

See title

Checklist

  • Do all Lints pass?
    • Have you ran pnpm fmt?
    • Have you ran pnpm lint?

@hariria hariria self-assigned this Jan 30, 2025
@hariria hariria requested a review from gregnazario as a code owner January 30, 2025 01:55
@vercel
Copy link

vercel bot commented Jan 30, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
developer-docs-nextra ✅ Ready (Inspect) Visit Preview 💬 Add feedback Jan 30, 2025 4:06am

Co-authored-by: Andrew Hariri <hariria@usc.edu>
@gregnazario gregnazario enabled auto-merge (squash) January 30, 2025 04:00
@gregnazario gregnazario merged commit 5f69515 into main Jan 30, 2025
6 checks passed
@gregnazario gregnazario deleted the revert-banner-language branch January 30, 2025 04:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants