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 the upgrade procedure if it isn't necessary #7397

Closed
wants to merge 1 commit into from

Conversation

drew2a
Copy link
Contributor

@drew2a drew2a commented May 1, 2023

This PR fixes #7381

@drew2a drew2a changed the title Skip the upgrade procedure if possible Skip the upgrade procedure if it isn't necessary May 1, 2023
@drew2a drew2a marked this pull request as ready for review May 1, 2023 10:24
@drew2a drew2a requested review from a team and kozlovsky and removed request for a team May 1, 2023 10:24
@drew2a drew2a closed this May 3, 2023
@drew2a
Copy link
Contributor Author

drew2a commented May 3, 2023

@kozlovsky strongly disagreed with this improvement, therefore I'm closing this PR.

He proposed to discuss it at #7381.

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

Successfully merging this pull request may close these issues.

1 participant