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