cschmid [1] filed a deletion request for gnome-shell-extension- shellshape-git [2]:
It does not build anymore and according to https://extensions.gnome.org/extension/294/shellshape/ it had been discontinued. [1] https://aur.archlinux.org/account/cschmid/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-shellshape-git/
