[PRQ#44144] Deletion Request for gnome-shell-extension-timer-git

olebowle [1] filed a deletion request for gnome-shell-extension-timer- git [2]: Request to delete the package, since upstream (my github repo) is unmaintained for more then four years. [1] https://aur.archlinux.org/account/olebowle/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-timer-git/