BUG #16495: pgAdmin4 repo problem

The following bug has been logged on the website:

Bug reference:      16495
Logged by:          Jayakumar V
Email address:      reachjayakumarv@gmail.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