The 2023.5.0 release will be made by the deadline of the 31st December. It will be the version of devel as it exists on the day of release. This will contain all the PRs that were deemed to be ready for this release. It will also contain PRs that were deemed future for the 2023.4.0 release.