Skip to content

Conversation

TimWolla
Copy link
Member

see 9085197
see #7921

Copy link
Member

@cmb69 cmb69 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you! You should be able to merge this yourself. :)

@TimWolla
Copy link
Member Author

You should be able to merge this yourself. :)

Just the "Squash and merge" button, or anything special?

@cmb69
Copy link
Member

cmb69 commented Apr 11, 2022

Just the "Squash and merge" button, or anything special?

When targeting the master branch (like in this case), "squash and merge" is fine. Otherwise, see https://wiki.php.net/vcs/gitworkflow.

@TimWolla TimWolla merged commit dcd5e82 into php:master Apr 11, 2022
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