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

Skip creating the pull request to update latest breaking version if the schema is unchanged #475

Merged
merged 1 commit into from
Jun 9, 2022

Conversation

Atry
Copy link
Contributor

@Atry Atry commented Jun 8, 2022

Currently, a pull request to update schema to a backward incompatible version would be created even when the schema is unchanged, such as #474, which is not useful.

This PR skips creating such a useless pull request.

@Atry Atry requested review from alexeyt, lexidor and Wilfred June 8, 2022 23:56
@Atry Atry merged commit 6bd73c4 into hhvm:main Jun 9, 2022
@Atry Atry deleted the Atry-patch-3 branch July 15, 2022 18:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants