[rhel8_baseos]
name = Red Hat Enterprise Linux 8 - BaseOS
baseurl = https://repos.psi.ch/rhel8/tags/rhel-8/rhel-8-for-x86_64-baseos-rpms/
gpgkey = file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release
gpgcheck = 1
enabled = 1

[rhel8_appstream]
name = Red Hat Enterprise Linux 8 - AppStream
baseurl = https://repos.psi.ch/rhel8/tags/rhel-8/rhel-8-for-x86_64-appstream-rpms/
gpgkey = file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release
gpgcheck = 1
enabled = 1

[rhel8_codeready]
name = Red Hat CodeReady Linux Builder for RHEL 8 x86_64
baseurl = https://repos.psi.ch/rhel8/tags/rhel-8/codeready-builder-for-rhel-8-x86_64-rpms/
gpgkey = file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release
gpgcheck = 1
enabled = 1

[epel]
name = Extra Packages for Enterprise Linux 8
baseurl = https://repos.psi.ch/rhel8/tags/rhel-8/epel/
gpgkey = https://repos.psi.ch/rhel8/tags/rhel-8/keys/RPM-GPG-KEY-EPEL-8
gpgcheck = 1
enabled = 1

[epel-modular]
name = Extra Packages for Enterprise Linux Modular 8
baseurl = https://repos.psi.ch/rhel8/tags/rhel-8/epel-modular/
gpgkey = https://repos.psi.ch/rhel8/tags/rhel-8/keys/RPM-GPG-KEY-EPEL-8
gpgcheck = 1
enabled = 1

[pli-misc]
name = PSI Miscellaneous
baseurl = https://repos.psi.ch/rhel8/tags/rhel-8/pli-misc/
gpgcheck = 0
enabled = 1