Re: [aur-requests] [PRQ#18291] Deletion Request for code-server-git

Why not just orphan it? On Tue, Mar 10, 2020 at 2:07 PM notify--- via aur-requests < aur-requests@archlinux.org> wrote:

tinywrkb [1] filed a deletion request for code-server-git [2]:

I moved to docker, this doesn't build for a while now, no one has complained so far so it doesn't look like there's a need to keep the package. It can be resurrected in the future for the AUR git repo but it's better, for now, to remove it instead of keeping it in broken.

[1] https://aur.archlinux.org/account/tinywrkb/ [2] https://aur.archlinux.org/pkgbase/code-server-git/