Skip to content

Chore: remove docs from main branch#6057

Merged
georgesittas merged 1 commit intomainfrom
jo/remove_docs_from_main
Oct 9, 2025
Merged

Chore: remove docs from main branch#6057
georgesittas merged 1 commit intomainfrom
jo/remove_docs_from_main

Conversation

@georgesittas
Copy link
Collaborator

This commit made it so that docs are pushed to the api-docs branch, to avoid polluting main, which affects things like keyword search etc.

We need to update the API docs website so that it points to this new branch, cc @tobymao.

@georgesittas georgesittas requested a review from tobymao October 9, 2025 14:04
@georgesittas georgesittas merged commit 75b8d16 into main Oct 9, 2025
6 checks passed
@georgesittas georgesittas deleted the jo/remove_docs_from_main branch October 9, 2025 14:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants