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

fix: cherry-pick several udf fixes #13852

Merged
merged 4 commits into from
Dec 7, 2023
Merged

Conversation

@huangjw806 huangjw806 changed the title cherry-pick several udf fixes fix: cherry-pick several udf fixes Dec 7, 2023
@github-actions github-actions bot added type/fix Bug fix and removed Invalid PR Title labels Dec 7, 2023
@huangjw806 huangjw806 enabled auto-merge (squash) December 7, 2023 06:35
@huangjw806 huangjw806 merged commit bdb7aab into v1.5.0-rc Dec 7, 2023
27 of 28 checks passed
@huangjw806 huangjw806 deleted the wrj/cherry-pick-udf-fixes branch December 7, 2023 07:09
@TennyZhuang
Copy link
Contributor

It'll be better if the PR will not be squashed. (But the option is closed in the admin page).

@xxchan
Copy link
Member

xxchan commented Dec 7, 2023

It'll be better if the PR will not be squashed. (But the option is closed in the admin page).

I think we can now enable merge commits for PRs, since main requires merge queue (which is configured to use squash merge). 🤔

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type/fix Bug fix
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants