MarsSeed [1] filed a deletion request for ebadoo-shell [2]: Fork of gnome-shell 3.34.2, discontinued since 2019. [a]
[a]: https://gitlab.com/ebadoo/ebadoo-shell/-/commits/master [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/ebadoo-shell/
