Request #3690 has been rejected by lfleischer [1]: Deleting a package does not delete the underlying Git repository. Please send an email to aur-support at archlinux.org instead. [1] https://aur4.archlinux.org/account/lfleischer/