Hi,
> How does this work with branches in git? Does this PR needs to stay open till the PHP-8.6 branch is created, before it can be merged into master? When is that? The branch will be created a while after GA, that is at the end of Nov as far as a know. Never mind, we don't need to rush this anyways. I will create the PR after we branch out 8.6 :) Weilin
