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