[copr:copr.fedorainfracloud.org:jbertozzi:gnome-shell-extensions]
name=Copr repo for gnome-shell-extensions owned by jbertozzi
baseurl=https://download.copr.fedorainfracloud.org/results/jbertozzi/gnome-shell-extensions/fedora-$releasever-$basearch/
type=rpm-md
skip_if_unavailable=True
gpgcheck=1
gpgkey=https://download.copr.fedorainfracloud.org/results/jbertozzi/gnome-shell-extensions/pubkey.gpg
repo_gpgcheck=0
enabled=1
enabled_metadata=1