On Fri, 2022-10-14 at 09:48 +0100, Devrim Gündüz wrote:
> On Fri, 2022-10-14 at 08:23 +0200, Laurenz Albe wrote:
> > In the pgdg-fedora-repo-42.0-24.noarch RPM there is no repository for
> > v15 yet.
>
> There is. Can you please check if there is a .rpmnew file?
You are right; I feel stupid.
Thanks,
Laurenz Albe