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.

Sign up for GitHub

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

Jump to bottom

Remove irrelevant details from the savepoint name #6197

Merged
merged 1 commit into from
Oct 16, 2023
Merged

Remove irrelevant details from the savepoint name #6197

merged 1 commit into from
Oct 16, 2023

Conversation

morozov
Copy link
Member

@morozov morozov commented Oct 16, 2023

Q A
Type improvement

The "2" in the savepoint name is obsolete. The "savepoint" is redundant.

@morozov morozov added this to the 3.8.0 milestone Oct 16, 2023
@morozov morozov requested a review from derrabus October 16, 2023 15:24
@morozov morozov merged commit 5c3c640 into doctrine:3.8.x Oct 16, 2023
81 checks passed
@morozov morozov deleted the savepoint-name branch October 16, 2023 17:52
@morozov morozov mentioned this pull request Oct 16, 2023
Closed
@xabbuh xabbuh mentioned this pull request Oct 17, 2023
Merged
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Oct 16, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@derrabus derrabus derrabus approved these changes

@greg0ire greg0ire greg0ire approved these changes

Assignees
No one assigned
Labels
Improvement Transactions
Projects
None yet
Milestone
3.8.0
Development

Successfully merging this pull request may close these issues.
3 participants
@morozov @greg0ire @derrabus