(Our Linux servers are firewalled from the Internet, and They won't open ports 80 and 443 just for me. Thus, every three months I manually download a bunch of RPM files from https://download.postgresql.org/pub/repos then do the OneDrive+scp dance to get them to the servers. "sudo yum install PgXX.YY_RHEL8/*rpm" works just perfectly. I've been doing it that way for years.
A PowerShell script downloads the relevant packages so I don't have to do a lot of manual clicking and saving.)