This has been resolved.
Currently COPR is building the latest RPMs. Last week @aruzicka already did some testing, but we’d like to do some final testing with the latest patches.
We’ve decided that, unless any serious issues show up, we’ll merge Monday (2024-07-08). Mostly because Thursday is a holiday in the US (and various people will take Friday off) and Friday in the Czech Republic. We’d like to avoid a situation where we need help from someone who’s unavailable.