On 2021-07-20 11:04 p.m., Robin Klitscher wrote:
to the point of educating me. I had no idea of the "releasever"
option - I guess because I first did it using the literal URLs more than
20 years ago and had been doing it that way, slavishly and unquestioned,
I only discovered that quite recently, when I was about to upgrade to
15.3. It's mentioned somewhere in the release notes for that version,
iirc. Before that, I was using the same brute force method you have been