[arch-projects] [devtools] [GIT] The official devtools repository branch sogrep_redirect created. 20190912-11-g7f849ea

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, sogrep_redirect has been created at 7f849ea58d6a46631017b928285ebf3ff4ce6c69 (commit) - Log ----------------------------------------------------------------- commit 7f849ea58d6a46631017b928285ebf3ff4ce6c69 Author: Jelle van der Waa Date: Tue Oct 15 21:43:20 2019 +0200 sogrep: redirect to destination mirror Some mirrors redirect consumers to a near by mirror which isn't handled by sogrep. ----------------------------------------------------------------------- hooks/post-receive -- The official devtools repository