@justinvelluppillai opened this Pull Request on October 5th 2022 Member


There are a few changes only on the next_release branch that we need to merge back to 4.x-dev and then eventually 5.x-dev. We don't want to delete this branch in the process of merging.


@sgiehl commented on October 5th 2022 Member

I think I mentioned that before already: We should not merge back the changes using a pull request (unless we allow something else than squash). Otherwise we will loose the merge commits of the PRs that had been merged to next_release only.
I'll close this one and push the merge directly on command line to preserve history

This Pull Request was closed on October 5th 2022
Powered by GitHub Issue Mirror