F .discinfo .discinfo F .treeinfo .treeinfo F EULA EULA F GPL GPL F RPM-GPG-KEY-redhat-beta RPM-GPG-KEY-redhat-beta F RPM-GPG-KEY-redhat-release RPM-GPG-KEY-redhat-release F extra_files.json extra_files.json F media.repo media.repo