Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update example site to latest docsy development version #253

Merged
merged 1 commit into from
Nov 13, 2023

Conversation

deining
Copy link
Collaborator

@deining deining commented Nov 12, 2023

This PR update the example site to the latest docsy development version v0.7.3-dev.

Copy link
Collaborator

@chalin chalin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great! Could you bring in docsy at HEAD again, now that google/docsy#1733 has been merged -- that way we'll be able to test it too. Thanks!

@deining
Copy link
Collaborator Author

deining commented Nov 12, 2023

Could you bring in docsy at HEAD again, now that google/docsy#1733 has been merged

Done.

@deining deining requested a review from chalin November 12, 2023 23:48
Copy link
Collaborator

@chalin chalin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍🏻

@deining deining merged commit a62efa1 into google:main Nov 13, 2023
5 checks passed
@deining deining deleted the single-module branch November 13, 2023 00:34
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