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 branch, master has been updated via 7fc22b9abaf52a8326b93b38578fd25457f9c253 (commit) from f85fc32d78414c25f82e0b13e3d99f15ab787b56 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 7fc22b9abaf52a8326b93b38578fd25457f9c253 Author: Sven-Hendrik Haase 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. ----------------------------------------------------------------------- Summary of changes: Makefile | 3 ++- archco.in | 4 ++-- commitpkg.in | 2 +- crossrepomove.in | 2 +- rebuildpkgs.in | 2 +- 5 files changed, 7 insertions(+), 6 deletions(-) hooks/post-receive -- The official devtools repository