yochananmarqos [1] filed a request to merge gnome-shell-extension-pop- shell [2] into gnome-shell-extension-pop-shell-git [3]:
There has not been a release in years and System76 will never tag one again as they are working on their new Cosmic DE. No reason to have two packages that are now duplicates at this point. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pop-shell/ [3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pop-shell-git/
