$releaseserver variable Red Hat Enterprise Linux 7 creates a repo URL where mongodb RPMs are absent

Description

In the tutorial it's listed that a repo needs to be created like this:

[mongodb-org-4.2]

name=MongoDB Repository baseurl=https://repo.mongodb.org/yum/redhat/$releasever/mongodb-org/4.2/x86_64/ gpgcheck=1
enabled=1
gpgkey=https://www.mongodb.org/static/pgp/server-4.2.asc

 

Here $releasever variable points to 7Workstation

{ "arch": "ia32e", "basearch": "x86_64", "osver": "7.7", "uuid": "--------------------------", "releasever": "7Workstation" }

which eventually leads to baseurl  = https://repo.mongodb.org/yum/redhat/7Workstation/mongodb-org/4.2/x86_64/repodata/repomd.xml: [Errno 14] HTTPS Error 404 - Not Found

===============================
The Repo URL originally is 
https://repo.mongodb.org/yum/redhat/7/mongodb-org/4.2/x86_64/
or
For server edition
https://repo.mongodb.org/yum/redhat/7Server/mongodb-org/4.2/x86_64/

Scope of changes

Impact to Other Docs

MVP (Work and Date)

Resources (Scope or Design Docs, Invision, etc.)