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 deleted was 7f849ea58d6a46631017b928285ebf3ff4ce6c69

- Log ----------------------------------------------------------------- 7f849ea58d6a46631017b928285ebf3ff4ce6c69 sogrep: redirect to destination mirror -----------------------------------------------------------------------

hooks/post-receive