BUG #16495: pgAdmin4 repo problem

The following bug has been logged on the website:

Bug reference: 16495
Logged by: Jayakumar V
Email address: reachjayakumarv(at)gmail(dot)com
PostgreSQL version: 9.6.18
Operating system: Red Hat Enterprise Linux Server 7.8 (Maipo)
Description:

Hello there, Greetings of the day. Trust you all are keeping safe at this
point of time with your dear & near ones.
Refer to https://www.postgresql.org/ftp/pgadmin/pgadmin4/yum/
Step #1:
# sudo rpm -i
https://ftp.postgresql.org/pub/pgadmin/pgadmin4/yum/pgadmin4-redhat-repo-1-1.noarch.rpm
Runs fine

Step #2:
sudo yum install pgadmin4
gives a problem as below
https://ftp.postgresql.org/pub/pgadmin/pgadmin4/yum/redhat/rhel-7Server-x86_64/repodata/repomd.xml:
[Errno 14] HTTPS Error 404 - Not Found

But the problem is in the repomd.xml URL... there is a word Server next to
/rhel-7...
Actual URL is,
https://ftp.postgresql.org/pub/pgadmin/pgadmin4/yum/redhat/rhel-7-x86_64/repodata/repomd.xml

Could you please arrange to fix this URL correction?

Regards.
JK