This update is not installable:
Error: Problem: cannot install the best candidate for the job - nothing provides python3.7dist(typing) >= 3.6.1 needed by python3-pyvirtualize-0.10-1.20191018gitdc2d971.fc30.noarch
Can you PLEASE build gcc and annobin together in a side tag in the future?
Because even though the gcc buildroot override is already disabled again, more than 500 packages failed to build in koschei within that window, which is a huge number of false positive results for maintainers to deal with. This doesn't even account for all the real koji builds that failed while the override was active.
If this comment shows up in bodhi, then positive karma was warranted ;)
python3-sphinx-press-theme is not installable on fedora 30:
Error: Problem: conflicting requests - nothing provides python3.7dist(sphinx) >= 2.0.0 needed by python3-sphinx-press-theme-0.5.1-4.fc30.noarch
Well, it's mostly true that "upgrade path" doesn't matter anymore (you're right that dist-upgrades do distro-sync - and downgrade - now by default).
In this case, this turned out to not be a problem, but in other cases, I found updates that were missing from f32 entirely (which is a problem, since package downgrades aren't exactly supported, and it's not good for f32 to be missing bugfixes and security updates).
But thanks for fixing it anyway :)