To use this repository, first uninstall any pgAdmin repo packages that you may already have installed, for example; sudo rpm -e pgadmin4-fedora-repo or sudo rpm -e pgadmin4-redhat-repo, and then to setup the repository for this set of builds on Fedora run: