Skip to content

Use copies instead of redirects#582

Merged
gspencergoog merged 2 commits intogoogle:mainfrom
gspencergoog:fix_redirects
Feb 9, 2026
Merged

Use copies instead of redirects#582
gspencergoog merged 2 commits intogoogle:mainfrom
gspencergoog:fix_redirects

Conversation

@gspencergoog
Copy link
Collaborator

@gspencergoog gspencergoog commented Jan 30, 2026

Description

Instead of using redirects for the schema files, copy them into place for the docs site.

The schema files still reside at their correct location in the tree, they're just being copied into place for the mkdocs run.

@gspencergoog gspencergoog merged commit 8997ed2 into google:main Feb 9, 2026
6 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in A2UI Feb 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants