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 <[email protected]>
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
