Skip to content

Conversation

chalin
Copy link
Contributor

@chalin chalin commented May 1, 2024

@chalin chalin added the CI/infra CI & infrastructure label May 1, 2024
@chalin
Copy link
Contributor Author

chalin commented May 1, 2024

/cc @LisaFC

@chalin chalin merged commit f2e3362 into google:main May 1, 2024
@chalin chalin deleted the chalin-im-prettier-docs-index-2024-05-01 branch May 1, 2024 15:23
@chalin chalin added this to the 24Q2 milestone Jan 9, 2025
fekete-robert pushed a commit to fekete-robert/docsy that referenced this pull request May 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI/infra CI & infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant