[arch-devops] Thursday 25th June 14:00 UTC repos.archlinux.org migration