On Thu, Jun 1, 2017 at 12:00 PM, <notify at aur.archlinux.org> wrote: > Alad [1] filed a deletion request for arch-https-mirrors-git [2]: > > https://www.archlinux.org/mirrorlist/all/https/ Must you delete this? It serves a different purpose than the upstream list, is more curated, and I actively use it.