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

[Levente Polyak]

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
-- 
The official devtools repository