Skip to content

Conversation

@christian-dinh
Copy link
Contributor

@christian-dinh christian-dinh commented Oct 22, 2025

forgot that we do need the org token for pushing to the docs repo

@christian-dinh christian-dinh merged commit 3532b1c into main Oct 22, 2025
@christian-dinh christian-dinh deleted the cd-token branch October 22, 2025 16:20
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.

1 participant