Skip to content

Conversation

yutannihilation
Copy link
Contributor

Reflect the following minor fixes committed in ducdb/duckdb-web to this repo.

@yutannihilation
Copy link
Contributor Author

I was naively expecting the changes done in this repo will be synced to duckdb-web automatically, but there's no such mechanism...? If so, should I create a pull request on duckdb-web repo manually?

@Maxxen Maxxen merged commit 7fee7e0 into duckdb:v1.3.1 Jul 5, 2025
22 checks passed
@Maxxen
Copy link
Member

Maxxen commented Jul 5, 2025

Thanks! Yeah, duckdb-web needs to be changed manually

@yutannihilation
Copy link
Contributor Author

Thank, got it. Hopefully, I can create some GHA for this...

@yutannihilation yutannihilation deleted the doc/reflect-web-changes branch July 5, 2025 22:50
@yutannihilation yutannihilation mentioned this pull request Jul 5, 2025
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.

3 participants