Re: [aur-requests] [PRQ#8207] Deletion Request for arch-https-mirrors-git

How does it serves a different purpose than https://www.archlinux.org/mirrorlist/? You can select https only, even IPv6 if you want, and use mirror status? So yes, deletion. Bruno