[arch-projects] [devtools] [GIT] The official devtools repository branch sogrep_redirect deleted. 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 deleted was 7f849ea58d6a46631017b928285ebf3ff4ce6c69 - Log

[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20191130-4-gd6866e0

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 d6866e0544581840cc021e4be68c1c450fcb7963 (commit)