Skip to content

Update to Shared Design - #1147

Merged
0xTim merged 8 commits into
mainfrom
design-updates
Jul 9, 2026
Merged

Update to Shared Design#1147
0xTim merged 8 commits into
mainfrom
design-updates

Conversation

@0xTim

@0xTim 0xTim commented Jul 9, 2026

Copy link
Copy Markdown
Member

Update dependencies to use new shared design that's shared with the API docs site and remove the stuff we no longer need

Also adds a skill to help do translations for any changes (sorry Gwynne!)

@0xTim
0xTim requested a review from gwynne as a code owner July 9, 2026 11:27
@0xTim 0xTim added the no-translation-needed This PR does not require the translations to be updated (e.g. fixing a typo or infrastructure work) label Jul 9, 2026
@0xTim
0xTim merged commit a06a31d into main Jul 9, 2026
4 checks passed
@0xTim
0xTim deleted the design-updates branch July 9, 2026 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-translation-needed This PR does not require the translations to be updated (e.g. fixing a typo or infrastructure work)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant