Install Removable Drive Menu extension in Redhat Developer subscription

Hi guys

I would to know, if a repo is available to install the "removable-drive-menu" (https://extensions.gnome.org/extension/7/removable-drive-menu/) for Redhat Developer subscription?

Regards,
Anish