This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "The official devtools repository". The tag, 20160527 has been created at 7fc22b9abaf52a8326b93b38578fd25457f9c253 (commit) - Log ----------------------------------------------------------------- commit 7fc22b9abaf52a8326b93b38578fd25457f9c253 Author: Sven-Hendrik Haase <svenstaro@gmail.com> Date: Fri May 27 21:02:46 2016 +0200 Use repos.archlinux.org everywhere instead of hostname based domains This makes it a lot easier to swap out the host that actually serves the repos in the future. ----------------------------------------------------------------------- hooks/post-receive -- The official devtools repository