Adding pgadmin4 to Fedora repository